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
487743c4df0a566d0b7c2363d3256264a28f605c
guru/sci-mathematics
History
Alessandro Barbieri 480ef4817f sci-mathematics/chaco: it's not a libraru 
Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2021-04-12 09:56:38 +02:00
..
chaco
sci-mathematics/chaco: it's not a libraru
2021-04-12 09:56:38 +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