diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-19 22:21:49 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-19 22:26:47 +0100 |
| commit | 8a220aefb5fbac21b554969863d249ec78d82e1a (patch) | |
| tree | 5c6a6f0a2e48565048cbf343a918b5d0e476010a /metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 | |
| parent | dev-ml/dune-site: bump to 3.0.3 (diff) | |
| download | gentoo-8a220aefb5fbac21b554969863d249ec78d82e1a.tar.gz gentoo-8a220aefb5fbac21b554969863d249ec78d82e1a.tar.bz2 gentoo-8a220aefb5fbac21b554969863d249ec78d82e1a.zip | |
dev-ml/ptmap: remove seq reference from dune build file
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1')
0 files changed, 0 insertions, 0 deletions