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
74b69830cfb9f4a44ff26438cad32f9a6c654d1d
guru/sci-mathematics
History
François-Xavier Carton 1fe1afafb8 sci-mathematics/frama-c: new package 
This is a bump of version in ::science.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-01-09 17:46:15 +01:00
..
frama-c
sci-mathematics/frama-c: new package
2021-01-09 17:46:15 +01:00
why3
sci-mathematics/why3: new package
2021-01-09 17:44:42 +01:00