Lucio Sauer
|
68460592f2
|
*/*: fix MissingRemoteId in metadata.xml
* Manually checked, I hope I caught most errors
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
|
2023-06-27 04:24:02 +02:00 |
|
Anna (cybertailor) Vyalkova
|
1e95f22062
|
*/*: update metadata schema uri
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
|
2023-03-04 18:56:32 +05:00 |
|
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 |
|
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 |
|