2024-12-17 22:21:45 UTC

This commit is contained in:
Repository mirror & CI
2024-12-17 22:21:45 +00:00
parent df08016491
commit 3dbfd7c182
2132 changed files with 2132 additions and 2132 deletions

View File

@@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-25.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-25.0-Manganese.tar.gz
_eclasses_=gnuconfig ddeb9f8caff1b5f71a09c75b7534df79 toolchain-funcs fa554cc3cff825d21dfe3f24841e29cf multilib b2a329026f2e404e9e371097dda47f96 libtool 6b28392a775f807c8be5fc7ec9a605b9 autotools 7d91cc798a8afd8f4e0c6e9587296ebe findlib 49d5365fca4dea46f13825b9d763c89e
_eclasses_=gnuconfig ddeb9f8caff1b5f71a09c75b7534df79 toolchain-funcs 14648d8795f7779e11e1bc7cf08b7536 multilib b2a329026f2e404e9e371097dda47f96 libtool 6b28392a775f807c8be5fc7ec9a605b9 autotools 7d91cc798a8afd8f4e0c6e9587296ebe findlib 49d5365fca4dea46f13825b9d763c89e
_md5_=63c417c607399ce9fa40f57ad259bb2d