mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-15 01:53:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
ee4e6fe810f0b42a55bdd0e47224d2aed0b6e72f
guru/sci-mathematics
History
François-Xavier Carton 9f99717f90 sci-mathematics/frama-c: doesn't build with why3-1.4.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-03-30 21:51:52 +02:00
..
frama-c
sci-mathematics/frama-c: doesn't build with why3-1.4.0
2021-03-30 21:51:52 +02:00
why3
sci-mathematics/why3: bump to 1.4.0
2021-03-30 21:32:21 +02:00