mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
42c0da6a668a33653427f8b8ff93073a189819c7
guru/sci-mathematics
History
François-Xavier Carton 42c0da6a66 sci-mathematics/why3: bump to 1.4.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-03-30 21:32:21 +02:00
..
frama-c
sci-mathematics/frama-c: add MissingUseDepDefault
2021-03-28 13:22:52 +02:00
why3
sci-mathematics/why3: bump to 1.4.0
2021-03-30 21:32:21 +02:00