mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-14 01:23:23 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
a4cb8d149e39c92425f5eb4e2cefc2f500e18616
guru/sci-mathematics/why3
History
François-Xavier Carton 556d223d1e sci-mathematics/why3: respect CFLAGS & LDFLAGS 
Closes: https://bugs.gentoo.org/781650
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-04-19 03:15:31 +02:00
..
Manifest
sci-mathematics/why3: bump to 1.4.0
2021-03-30 21:32:21 +02:00
metadata.xml
sci-mathematics/why3: bump to 1.4.0
2021-03-30 21:32:21 +02:00
why3-1.3.3.ebuild
sci-mathematics/why3: respect CFLAGS & LDFLAGS
2021-04-19 03:15:31 +02:00
why3-1.4.0.ebuild
sci-mathematics/why3: respect CFLAGS & LDFLAGS
2021-04-19 03:15:31 +02:00