diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-19 22:25:25 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-19 22:26:53 +0100 |
| commit | 6e7a51ba017eb61743f30c801d61a4971f2289e4 (patch) | |
| tree | 7e35ff8751d5eaa7ff7fa32a1698d430e428631d /dev-go | |
| parent | dev-ml/ptmap: remove seq reference from dune build file (diff) | |
| download | gentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.tar.gz gentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.tar.bz2 gentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.zip | |
sci-mathematics/alt-ergo: remove seq reference from dune build file
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-go')
0 files changed, 0 insertions, 0 deletions