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
be822e6150bdf5d7e045d66bbf270edee363d064
guru/sci-mathematics/minisat+
History
Anna (cybertailor) Vyalkova 9a5a10a8e8 sci-mathematics/minisat+: update HOMEPAGE, SRC_URI 
Closes: https://bugs.gentoo.org/842336
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2022-06-05 11:12:15 +05:00
..
files
…
Manifest
sci-mathematics/minisat+: update HOMEPAGE, SRC_URI
2022-06-05 11:12:15 +05:00
metadata.xml
…
minisat+-2007.01.05-r1.ebuild
sci-mathematics/minisat+: update HOMEPAGE, SRC_URI
2022-06-05 11:12:15 +05:00