]> git.sthu.org Git - shuber-gentoo-overlay.git/commit
sci-mathematics: remove boolector and lingeling
authorStefan Huber <shuber@sthu.org>
Mon, 17 Aug 2026 20:38:03 +0000 (22:38 +0200)
committerStefan Huber <shuber@sthu.org>
Mon, 17 Aug 2026 21:02:43 +0000 (23:02 +0200)
commit2c4057102db258a197f73df9e1286833f2db8eef
treeeababdf2775ceb6e260d22825d1f35b9d8d45355
parent713ce878242f16b5dc0827862958990604644031
sci-mathematics: remove boolector and lingeling
sci-mathematics/boolector/Manifest [deleted file]
sci-mathematics/boolector/boolector-1.5.116.ebuild [deleted file]
sci-mathematics/boolector/files/pathfixes.patch [deleted file]
sci-mathematics/boolector/metadata.xml [deleted file]
sci-mathematics/lingeling/Manifest [deleted file]
sci-mathematics/lingeling/lingeling-1212013.ebuild [deleted file]
sci-mathematics/lingeling/metadata.xml [deleted file]