diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2022-03-22 20:21:10 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-22 20:22:14 +0100 |
| commit | 438bd24f31f6c0ce2430478ffa2c90c6c96fc663 (patch) | |
| tree | fd7e1c915af18ddfc25d7ee9f1671caf7c53d8e7 /dev-java/apple-java-extensions-bin | |
| parent | 016620b4dbbf0937378cbaa6afe6f1a540ee71fa (diff) | |
| download | gentoo-438bd24f31f6c0ce2430478ffa2c90c6c96fc663.tar.gz gentoo-438bd24f31f6c0ce2430478ffa2c90c6c96fc663.tar.bz2 gentoo-438bd24f31f6c0ce2430478ffa2c90c6c96fc663.zip | |
sci-mathematics/coq: bump to 8.15.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-java/apple-java-extensions-bin')
0 files changed, 0 insertions, 0 deletions