diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-28 21:15:20 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-28 21:33:18 +0100 |
| commit | eb08ef7e5b810912fc1f9f90a5f584fff171af0c (patch) | |
| tree | 55b2bebd5786afbdf104eb940420fe456f28a3f1 /dev-ml/cppo | |
| parent | dev-lang/boogie: bump to 2.16.0 (diff) | |
| download | gentoo-eb08ef7e5b810912fc1f9f90a5f584fff171af0c.tar.gz gentoo-eb08ef7e5b810912fc1f9f90a5f584fff171af0c.tar.bz2 gentoo-eb08ef7e5b810912fc1f9f90a5f584fff171af0c.zip | |
dev-ml/merlin: remove seq reference from dune build file
Closes: https://bugs.gentoo.org/883433
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/cppo')
0 files changed, 0 insertions, 0 deletions