commit 62a7fd88454d08a9863126de18dbfac880f45d6e
Author: Michael Mair-Keimberger <mmk@levelnine.at>
Date: Sat Dec 30 18:55:06 2023 +0100

sci-mathematics/frama-c: remove unused patch(es)

Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/sci/pull/1231
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 252d805f6402bdb7a760f957fe35fc7ce9b06a10
Author: Horea Christian <chr@chymera.eu>
Date: Thu Apr 6 03:45:33 2023 -0400

sci-mathematics/frama-c: USE flag is deprecated in dependency

Signed-off-by: Horea Christian <chr@chymera.eu>

commit 6dcd14a15a24c57c59022cef608ede13fffba598
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 14:48:45 2021 +0100

sci-mathematics/frama-c: set USE default

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 06abc11382478a3179823a4ee61f573de16e7170
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Thu Mar 4 13:23:50 2021 +0100

sci-mathematics/frama-c: version bump 22.0, EAPI bump

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 4fdf5aee54a5f8eac1463f006f7003c8d1c30afc
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Tue Jan 19 17:54:18 2021 +0100

sci-mathematics/frama-c: add default for use flag

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 3072d10e6c4f21185d53e4728d0fa0fad58537e7
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Dec 10 22:20:38 2017 +0000

Update Manifests to new hashes

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 1e04d5868f177eb639f03889b59d2cba00206578
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 21:01:49 2017 +0000

Second try to clean spaces in metadata.xml

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit bce61aa3e4fe85fe411df858eb30ebe72a3a8f88
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 20:39:44 2017 +0000

Consistently ident with tabs

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit f69e73182fc7cdc6c600a72fceb88ae1626db25d
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Feb 25 16:50:59 2017 +0000

Drop leftover from CVS in HEADER

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit d656b6d1ca11a70c8c47fb326e16bd3564006518
Author: Justin Lecher <jlec@gentoo.org>
Date: Fri Feb 3 17:05:17 2017 +0000

Drop quoting form EAPI

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit e0329e3fd83f68b41dbd4c3057b43a628b619d5b
Author: Marius Brehler <marbre@linux.sungazer.de>
Date: Wed Jun 15 16:55:06 2016 +0200

sci-mathematics/frama-c: Drop ~x86 keyword

Package-Manager: portage-2.2.28

commit 057a98c5e6346d6696fcc7b0ec8fefc9e826245f
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:53:09 2016 +0100

metadata.xml: Set type

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit b9d823e1ea1018d1356a0c18a083eab4d5ea6d8d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:50:12 2016 +0100

metadata.xml: convert hard -> proj

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 2ef24e800910be3786e23a31a0217ba0f38659f8
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 7 15:10:39 2016 +0100

Drop ChangeLogs in favour of commit messages

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 1ad7fca0e8ab4b753fb39283ae8f17d55f2e4a60
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Sep 21 20:45:23 2015 +0200

sci-mathematics/frama-c: Add subslot operators

Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Aug 17 08:53:12 2015 +0200

Convert all $Header$ to $Id$ tags as it has be done in gentoo.git

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit a891336052fb27fd9f3f82e33c30f0984f50ea54
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:25:27 2015 +0200

Revert "Gentoo does https by default now"

This reverts commit 98718494343af4990facdefb0033471686e975a6.

commit 98718494343af4990facdefb0033471686e975a6
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:14:25 2015 +0200

Gentoo does https by default now

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 39b534b32a8410b7c54eb87ba58c19f1bd9c871c
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Sun Aug 31 17:31:51 2014 +0200

fix Manifests: thin-manifests

commit 811c478b3081ebfbeb9f749f274614367e7a8726
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:44:59 2014 +0200

Fix manifests regression

commit d73696e54434ec08a75603613fb1ece24718127f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:38:01 2014 +0200

Several DESTDIR fixes

commit 9d31fe0253025c7f7c08e0828889c1f012977bd5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 22:20:18 2014 +0200

multiple move to EAPI=5 and regression fixes

commit 03917aeca50f3a5bfb3382205e973e7777a67570
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 16:29:25 2014 +0200

multiple version bumps

commit 6fea4eb8b6cccd829f23b3f377d84e0aceadf8da
Author: Andrew Savchenko <bircoph@gmail.com>
Date: Mon Feb 24 21:54:35 2014 +0400

sci-mathematics/frama-c: version bump

Upgrade to EAPI 5.
Fix build with make >= 4.0.
Support build with recent ocaml-4.01.

commit 1b9a1a664fe4a1e2515c3eedc842f0231dc0fcec
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 30 09:10:53 2014 +0100

Sanitize ebuild header

Signed-off-by: Justin Lecher <jlec@gentoo.org>

commit 94a47aba8632bc468ef26c88c57fd81b63e5f609
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Tue Jun 18 10:11:54 2013 -0700

big fixes of metadata and package sub-herd re-distribution

commit 7a71d68f2f6ee9e5f715c8521ab73072fb8c91aa
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Thu Jun 13 11:36:58 2013 -0700

manifests fixes

commit 90c012c05495d2b9cfa9ea9372a28be565154574
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:07:06 2013 +0100

sci-mathematics/frama-c: version bump

commit 17b94e3b2f823570053e65070370e24c36377db3
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Mar 17 16:04:13 2012 +0100

sci-mathematics/frama-c: fix install with doc USE flag

commit 6134e8d257ce1af87000c88d149ba0eccd72430a
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 6 15:29:11 2012 +0100

sci-mathematics/frama-c: version bump

commit ac7b80809d0be79d8e0d08354fd707b8566036a2
Author: Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
Date: Sat Jan 14 15:20:31 2012 +0100

Convert to thin manifests (as suggested by alexxy and jlec)

commit 0769e163ce3edddd3be66b5e646bac6e97cdedce
Author: Sébastien Fabbro <sebfabbro@gmail.com>
Date: Tue Jan 3 03:06:55 2012 +0000

switch sci herd to sci-* sub herds, full overlay re-manifest

commit 2b83ffea8d7668aa00fc3a26cb79835e8e30b1f1
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu May 12 01:34:10 2011 +0000

sci-mathematics/frama-c: manifest for typo

commit b20333c78674a7cfec3ee3afc2c446fabd05cca5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu May 12 00:41:00 2011 +0000

sci-mathematics/frama-c: fix ebuild typo

commit 62d7366e2c2d29d29a1189ee047addc5f35e7ad0
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed May 11 23:50:24 2011 +0000

sci-mathematics/frama-c: version bump

commit eba00d77e0cffdf6e3675d6ab9d839cd02ba8398
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Mar 7 13:01:10 2011 +0100

Correct Slots for gtk 3 introduction to tree

(Portage version: 2.2.0_alpha26/git/Linux x86_64, signed Manifest commit with key 70EB7916)

commit 24a500377eef9716b19b909ea5071b5a4c3595dd
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 28 12:48:49 2011 +0000

sci-mathematics/frama-c: fix install doc

commit 533ac92a825257fd5995738ccab5683abc85e52e
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed Feb 23 16:19:06 2011 +0000

sci-mathematics/frama-c: temporary retro-compatibility patch

commit d840f6713bf450abce0020ad94756314ae8d1120
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed Feb 23 15:25:32 2011 +0000

sci-mathematics/frama-c: keep previous version for now

commit 7a4cb0e1e62188d2c8afee7f8416d7fba0d256ed
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 14 15:17:30 2011 +0000

sci-mathematics/frama-c: previous beta compatible why

commit 2990556cf080711e48d280d5af187eecdb6013c6
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 14 12:23:01 2011 +0000

sci-mathematics/frama-c: clean-up

commit 65a9a83e4f56155ad43c1c5bddff54a970ffd437
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Feb 14 02:36:10 2011 +0000

sci-mathematics/frama-c: version bump

commit 6dc406978b6a84b46838a5ffe8d492a06a81548e
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Oct 29 15:38:35 2010 +0000

sci-mathematics/frama-c: remove no-longer-needed patch

commit aa3d94cb919969c2cefd9309ef4989751266fa52
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Tue Oct 19 17:55:22 2010 +0000

sci-mathematics/frama-c: various EAPI3 cleanups

commit 7947a56d9883f4ba9a6767d533afe790b0615797
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Oct 8 15:58:48 2010 +0000

sci-mathematics/frama-c: fixes Manifest

commit f545809732644fa8aedb34f95c877577afe719a8
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Oct 8 15:54:40 2010 +0000

sci-mathematics/frama-c/frama-c-20100401.ebuild: EAPI3 typos

commit 98448a542120d55e39fb50c561d59cac70928e7c
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Oct 4 20:39:58 2010 +0000

sci-mathematics/frama-c: EAPI3 cleanups

commit f071f195e3a72079ada118a51115be566a08190b
Author: Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
Date: Sun Jul 11 02:24:30 2010 +0200

[sci-mathematics/frama-c] Dropped ~sparc since dependencies cannot be fulfilled.
(Portage version: 2.1.8.3/git/Linux x86_64)
(Signed Manifest commit)

commit 33cbaf8f5b26eb7789fbfbfa207c056922786067
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu Jul 8 19:40:38 2010 +0000

sci-mathematics/frama-c: Version bump

commit ade54f63efdd3cd5a79b7f56f1c08a776fdcecde
Author: Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
Date: Tue Jun 22 23:24:35 2010 +0200

[sci-mathematics/frama-c] QA fixes
(Portage version: 2.1.8.3/git/Linux x86_64)
(Signed Manifest commit)

commit 55fd9de91abe7eeacca6f3b0ada3b2d64f0de7d8
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Dec 11 12:01:22 2009 +0000

sci-mathematics/frama-c/files/frama-c-20090901-always_init.patch

commit cedde1b94361c04060c941614b6d0fb27a31201a
Merge: 130ac20 b2e2bbe
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Dec 11 12:00:51 2009 +0000

Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci

commit 130ac2054ce6dede2b2bda4e7f273325c7657b90
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Dec 11 11:59:50 2009 +0000

sci-mathematics/frama-c/files/frama-c-20090901-always_init.patch

commit 91625d6c6eea924c4e7f90d2c0ce20d586b33d57
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Nov 27 16:26:47 2009 +0000

sci-mathematics/frama-c20090901: always_init.patch -> fix ptr init

commit 887773aa05989bef5eb741acd0818bbdb13a33a5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Wed Nov 25 17:11:01 2009 +0000

sci-mathematics/frama-c-20090901: always_init.patch

commit 8998b0fe96bf3411534e252ecb7e2fec57aeaca3
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Tue Nov 24 12:48:18 2009 +0000

sci-mathematics/frama-c-20090901: always_define.patch

commit 0292efad6383784da031dbb1b2dfe6c1b99e6e38
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Nov 23 23:54:13 2009 +0000

sci-mathematics/frama-c-20090901: init_locals_defined.patch

commit 141213944060bec201741e16fe6a5083185bc86d
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Oct 24 02:10:15 2009 +0000

more eapi2 updates

commit 8fd6be86bf3cea8267701b064bf298bf40840365
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Oct 24 01:38:38 2009 +0000

various eapi2 updates

commit af0e063c0fe58b893c8f18672a5401060c2673e0
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu Oct 15 19:19:37 2009 +0000

dropping sci-mathematics/pvs: unmaintained mainstream and PITA to maintain in portage

commit 7e590c2c843c0b8c5b9b02dc90dc56143e0286ee
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Oct 12 11:59:25 2009 +0000

sci-mathematics/frama-c: varinfo_export patch
dev-ml/ocamlgraph: eapi2 fix

commit 78d90485e3922d8f47b4197e3133ea3f0856afff
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Thu Sep 24 10:08:51 2009 +0000

sci-mathematics/frama-c: varinfo patch only to fix export

commit 71ba654eddf9f8f87fde4556eb8353693e312d42
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Tue Sep 22 23:43:44 2009 +0000

Another bunch of updates related to Frama-C

commit ebf58363a9d3f881600fe9fdaf671161aac34951
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Tue Sep 22 23:14:23 2009 +0000

Various updates related to Frama-C.

commit 564a239e2c21fe3bc1908cbd1e8f8a23ecbde1d1
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Tue Sep 8 19:32:25 2009 +0000

Various updates related to sci-mathematics/frama-c

commit 6f2e3df618f142209cede7b3734cf29c601d5da0
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Jun 12 18:00:34 2009 +0000

frama-c: more clean ups.

commit 97f81c35e572c26ea5e42ddf4862da66b6b60951
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Fri Jun 12 15:07:46 2009 +0000

clean ups.

commit dc957e9c855c407e6d8d8ea0a76f1eea44df823c
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon May 4 12:27:27 2009 +0000

Proper patch for frama-c

commit 8f5d1f2d6cf71cd90f6197c71b07ae9c283af7b1
Author: root <root@localhost.(none)>
Date: Mon May 4 12:10:41 2009 +0000

I've separated two patches for consistency.

commit 5c6a5a3d707c01b7e8d084d0e6790eb1b6a59d2b
Author: root <root@localhost.(none)>
Date: Sun Apr 5 01:09:27 2009 +0000

frama-c and why + dependencies new ebuilds