mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-11 08:03:16 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
10c148017d2151ec330e1959fe71f3e6e9aaebc1
guru/sci-mathematics/minisat+
History
Alessandro Barbieri 1d6017d595 sci-mathematics/minisat+: new package, add 2007.01.05 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-29 03:47:58 +02:00
..
files
…
Manifest
…
metadata.xml
…
minisat+-2007.01.05.ebuild
…