mirrors/guru
1
0 Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-11-03 22:30:34 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
31b0bd2ddd0627055ce906b3e0a8df94de7405bf
guru/sci-mathematics/why3
T
History
François-Xavier Carton 8774c3bacb sci-mathematics/why3: new package 
This is a bump from the version in ::science.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-01-09 17:44:42 +01:00
..
Manifest
sci-mathematics/why3: new package
2021-01-09 17:44:42 +01:00
metadata.xml
sci-mathematics/why3: new package
2021-01-09 17:44:42 +01:00
why3-1.3.3.ebuild
sci-mathematics/why3: new package
2021-01-09 17:44:42 +01:00