mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-22 13:33:32 -04:00
2026-03-12 15:32:27 UTC
This commit is contained in:
@@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-25.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-
|
||||
RESTRICT=strip
|
||||
SLOT=0
|
||||
SRC_URI=https://frama-c.com/download/frama-c-25.0-Manganese.tar.gz
|
||||
_eclasses_=gnuconfig b4fa4889c6f586d6b069215a86dd9e53 toolchain-funcs 8a2c298bde71ecf3f452dd9e67c94369 libtool 6a96cd90e5da8c7c615015479f46f1a4 autotools 3a740b2e55e60a60e8c0c411f3996dfa findlib 37a50ff418bcb640d3c5bc89dcdb8a6b
|
||||
_eclasses_=gnuconfig b4fa4889c6f586d6b069215a86dd9e53 toolchain-funcs da0a71e3a72194ca0b88d5b045d721ac libtool 6a96cd90e5da8c7c615015479f46f1a4 autotools 3a740b2e55e60a60e8c0c411f3996dfa findlib 37a50ff418bcb640d3c5bc89dcdb8a6b
|
||||
_md5_=3610df87b0ef388d9044bf5decf78d20
|
||||
|
||||
Reference in New Issue
Block a user