mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 23:52:59 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
702cb157a335f8971ba6d7b80dba21e9e049c984
guru/sci-mathematics/why3
History
François-Xavier Carton 6bd2366827 sci-mathematics/why3: no need to die with emake 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-09-04 15:07:40 +02:00
..
Manifest
…
metadata.xml
*/*: add lang="en" to <longdescription>
2021-06-28 16:15:30 +02:00
why3-1.3.3.ebuild
sci-mathematics/why3: no need to die with emake
2021-09-04 15:07:40 +02:00
why3-1.4.0.ebuild
sci-mathematics/why3: no need to die with emake
2021-09-04 15:07:40 +02:00