3 Commits

Author	SHA1	Message	Date
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
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