mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-09 23:23:00 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
09f36dcf361b2ac4dc7d338754a76a78061b0708
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