diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-04-15 21:44:22 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-04-15 21:54:11 +0200 |
| commit | 743f7000d74f66ab38a9a5698b463d27d787b470 (patch) | |
| tree | 73d3a5446b0704354309f980331089402a2ce6d1 /dev-haskell/arithmoi | |
| parent | dev-libs/libjcat: Bump to version 0.1.11 (diff) | |
| download | gentoo-743f7000d74f66ab38a9a5698b463d27d787b470.tar.gz gentoo-743f7000d74f66ab38a9a5698b463d27d787b470.tar.bz2 gentoo-743f7000d74f66ab38a9a5698b463d27d787b470.zip | |
sci-mathematics/alt-ergo: bump to 2.4.1_p20220407
2022.04.07 snapshot;
bumped to get new cmdliner dependency, added in
https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-haskell/arithmoi')
0 files changed, 0 insertions, 0 deletions