sci-mathematics/frama-c
Framework for analysis of source codes written in C
-
frama-c-26.1~amd64gtk +ocamlopt
View Download Browse License: LGPL-2Overlay: piniverlay
ChangeLog
commit 1f3830bb0e3e622a0a2df7065717434b0b2edf12
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Fri Apr 7 19:34:37 2023 +0200
feat(sci-mathematics/frama-c-26.1): add ebuild
- Add ebuild for 26.1
- Remove ebuild for 16.0
commit 4af2cd6219daf101333693c5efdc5cbcdc2bfec3
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Sat Mar 25 21:53:52 2023 +0100
chore: update manifest hashes
Fix https://bugs.gentoo.org/902349
commit 4c320eb03895020d77f2d91d7bba0652979ad7a6
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Wed Feb 16 00:22:02 2022 +0100
chore: add missing metadata files
Signed-off-by: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
commit 5091efec9bec4250c940e357093c73f7abb587d9
Author: pini <pini@tuxfamily.org>
Date: Fri Jan 19 00:25:14 2018 +0100
sci-mathematics/frama-c-16.0-r1: fix dependencies and patching
commit 551566dcc9e0fe49e54ec98fb6e62b35df0255f8
Author: pini <pini@tuxfamily.org>
Date: Sat Jan 13 13:33:24 2018 +0100
sci-mathematics/frama-c-16.0: use src_prepare default
commit c7815bb447107702a0fdb9cedd6d8872f75c36ee
Author: pini <pini@tuxfamily.org>
Date: Sat Jan 13 13:32:43 2018 +0100
sci-mathematics/frama-c-16.0: cascade USE flag to dependency
commit 81101284d4d8848b869aa0f4857f8f8906436135
Author: pini <pini@tuxfamily.org>
Date: Wed Dec 27 15:44:00 2017 +0100
Add sci-mathematics/frama-c-16.0
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Fri Apr 7 19:34:37 2023 +0200
feat(sci-mathematics/frama-c-26.1): add ebuild
- Add ebuild for 26.1
- Remove ebuild for 16.0
commit 4af2cd6219daf101333693c5efdc5cbcdc2bfec3
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Sat Mar 25 21:53:52 2023 +0100
chore: update manifest hashes
Fix https://bugs.gentoo.org/902349
commit 4c320eb03895020d77f2d91d7bba0652979ad7a6
Author: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
Date: Wed Feb 16 00:22:02 2022 +0100
chore: add missing metadata files
Signed-off-by: Pierre-Nicolas Clauss <pinicarus@protonmail.com>
commit 5091efec9bec4250c940e357093c73f7abb587d9
Author: pini <pini@tuxfamily.org>
Date: Fri Jan 19 00:25:14 2018 +0100
sci-mathematics/frama-c-16.0-r1: fix dependencies and patching
commit 551566dcc9e0fe49e54ec98fb6e62b35df0255f8
Author: pini <pini@tuxfamily.org>
Date: Sat Jan 13 13:33:24 2018 +0100
sci-mathematics/frama-c-16.0: use src_prepare default
commit c7815bb447107702a0fdb9cedd6d8872f75c36ee
Author: pini <pini@tuxfamily.org>
Date: Sat Jan 13 13:32:43 2018 +0100
sci-mathematics/frama-c-16.0: cascade USE flag to dependency
commit 81101284d4d8848b869aa0f4857f8f8906436135
Author: pini <pini@tuxfamily.org>
Date: Wed Dec 27 15:44:00 2017 +0100
Add sci-mathematics/frama-c-16.0