This website requires JavaScript.
Explore
Help
Sign In
wyj
/
guru
Watch
1
Star
0
Fork
0
You've already forked guru
mirror of
https://github.com/gentoo-mirror/guru.git
synced
2025-04-19 07:49:00 -04:00
Code
Issues
Actions
2
Packages
Projects
Releases
Wiki
Activity
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
sci-mathematics/minisat+: new package, add 2007.01.05
2022-04-29 03:47:58 +02:00
Manifest
sci-mathematics/minisat+: new package, add 2007.01.05
2022-04-29 03:47:58 +02:00
metadata.xml
sci-mathematics/minisat+: new package, add 2007.01.05
2022-04-29 03:47:58 +02:00
minisat+-2007.01.05.ebuild
sci-mathematics/minisat+: new package, add 2007.01.05
2022-04-29 03:47:58 +02:00
