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

sci-mathematics/why3: bump to 1.4.0

2021-03-30 21:32:21 +02:00

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