diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 14:12:03 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:12 -0500 |
| commit | b2943db2204f198ac97c1ef857d20d2fd0de33c8 (patch) | |
| tree | c2275d911981a79f10384439d05737fbff6122ee /sci-mathematics/coq-mathcomp | |
| parent | dev-gap/corelg: new package, add 1.56 (diff) | |
| download | gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.tar.gz gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.tar.bz2 gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.zip | |
dev-gap/polymaking: new package, add 0.8.7
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-mathcomp')
0 files changed, 0 insertions, 0 deletions