summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-04 22:13:37 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-04 22:13:37 +0000
commit39ca6159b9ac903dc56818918d9f97bc831f0955 (patch)
treee9b34845be7f96bc244fd239f6dd8090096ce703 /metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
parentbc968d15e7f24968eb69567c7f2fca470fdedacd (diff)
gentoo auto-resync : 04:11:2023 - 22:13:37
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2')
-rw-r--r--metadata/md5-cache/sci-mathematics/psmt2-frontend-0.22
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
index e74e3bc8b6b5..24a20854fc9a 100644
--- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
+++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=>=dev-ml/menhir-20181006 dev-lang/ocaml:=[ocamlopt?]
SLOT=0
SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.2.tar.gz -> psmt2-frontend-0.2.tar.gz
-_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 70ec42843fec87d20fd94c67e77cdbff
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs edeef89edaf21d30225d31702ab117ac
_md5_=8babbf81ec962f9ae8c2edc628d37b26