mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-23 14:03:33 -04:00
2026-04-22 07:17:33 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 5195689ff6a73b0e789acfa09d4fbcb9 libtool 6a96cd90e5da8c7c615015479f46f1a4 autotools 0698802996fcfe9a604eac3c1f6e7112 findlib 37a50ff418bcb640d3c5bc89dcdb8a6b
|
||||
_eclasses_=gnuconfig b4fa4889c6f586d6b069215a86dd9e53 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 libtool 6a96cd90e5da8c7c615015479f46f1a4 autotools 0698802996fcfe9a604eac3c1f6e7112 findlib 37a50ff418bcb640d3c5bc89dcdb8a6b
|
||||
_md5_=3610df87b0ef388d9044bf5decf78d20
|
||||
|
||||
Reference in New Issue
Block a user