gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/frama-c

Framework for analysis of source codes written in C

Screenshots

  • frama-c-26.1
    ~amd64
    gtk +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: piniverlay
  • frama-c-25.0-r2
    ~amd64
    gtk +ocamlopt

    View      Download      Browse     License: BSD LGPL-2 LGPL-2.1   
    Overlay: guru

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