296 Commits

Author	SHA1	Message	Date
Matthew Maurer	af33b23de3	frama-c: Aluminum -> Silicon ... Upgrade required to work with new ocamlgraph	2017-03-28 19:14:08 +00:00
Thomas Tuegel	22300a9d77	qcachegrind: pin to Qt 5.6 and correct packaging errors	2017-03-25 08:49:36 -05:00
Periklis Tsirakidis	a92dfe78e9	qcachegrind: init at 16.12.3	2017-03-22 17:18:53 +01:00
Herwig Hochleitner	938df03ed1	radare2: fix hash	2017-03-22 08:54:35 +01:00
Fatih Altinok	4e00fcf068	flow: 0.41.0 -> 0.42.0	2017-03-21 21:36:51 +03:00
Robin Gloster	1c3308e9c1	jdepend: 2.9.0 -> 2.9.1, fix build	2017-03-20 21:29:47 +01:00
Tim Steinbach	2c1876ec6c	Merge pull request #23844 from frontsideair/flow-41 ... flow: 0.39.0 -> 0.41.0	2017-03-13 18:12:16 -04:00
Michael Raskin	90f2b24fd7	Merge pull request #23850 from makefu/update/radare2 ... radare2: 0.10.6 -> 1.3.0	2017-03-13 19:32:41 +01:00
makefu	bc1011b330	radare2: 0.10.6 -> 1.3.0	2017-03-13 17:53:12 +01:00
Fatih Altinok	d23effdedf	flow: 0.39.0 -> 0.41.0	2017-03-13 17:04:36 +03:00
Periklis Tsirakidis	7c980f5e9c	valgrind: enable darwin build	2017-03-11 20:29:52 +01:00
Thomas Tuegel	f28848cb4d	kde4.kdelibs -> kdelibs4 ... Our kdelibs4 package does not come from KDE 4, so per upstream's request I am moving it out of the kde4 set.	2017-02-24 17:16:28 -06:00
Florent Becker	9d57f1ae9a	frama-c: fix compilation with ocaml 4.02+	2017-02-19 13:05:47 +01:00
Graham Christensen	4450327c06	flow: pin ocaml to ocaml_4_02	2017-02-12 20:52:37 -05:00
Tobias Pflug	9960f7e9f8	flow: 0.37.4 -> 0.39.0	2017-02-12 11:41:47 +01:00
Aristid Breitkreuz	00517f1779	rr: 4.4.0 -> 4.5.0	2017-02-05 22:00:42 +01:00
Fatih Altinok	40d3a67754	flow: 0.37.1 -> 0.37.4	2017-01-30 12:15:50 +03:00
Vincent Laporte	939e2d702f	frama-c: link to the apron library	2017-01-14 09:34:34 +00:00
Aneesh Agrawal	80ea1c0631	rr: 4.3.0 -> 4.4.0	2017-01-13 00:44:30 -05:00
Léo Gaspard	7f0143b89d	kcov: 29 -> 32	2017-01-01 03:32:31 +01:00
Fatih Altinok	1946e872c0	flow: 0.36.0 -> 0.37.1	2016-12-16 16:02:27 +00:00
Graham Christensen	8088ad7586	Merge pull request #20689 from frontsideair/flow-34-36 ... flow: 0.34.0 -> 0.36.0	2016-11-28 07:38:05 -05:00
Fatih Altinok	0a77d46322	flow: 0.34.0 -> 0.36.0	2016-11-24 16:40:52 +02:00
Nikolay Amiantov	be95ceaff2	treewide: quote URLs in my packages	2016-11-24 01:17:52 +03:00
Pascal Wittmann	3db83dd19d	checkstyle: 6.18 -> 6.19	2016-11-19 21:11:54 +01:00
Fatih Altinok	4e5917c007	flow: 0.33.0 -> 0.34.0	2016-10-29 10:48:48 +00:00
Tuomas Tynkkynen	b7aebdbf70	valgrind: 3.11.0 -> 3.12.0 ... Also use more multiple outputs and perl shouldn't be a nativeBuildInput.	2016-10-25 17:22:00 +03:00
Nikolay Amiantov	1e66aa6e5e	cppcheck: 1.74 -> 1.76.1	2016-10-21 16:56:40 +03:00
Fatih Altinok	8ab8f49827	flow: 0.32.0 -> 0.33.0	2016-10-15 08:24:07 -04:00
Jörg Thalheim	888f6a1280	Merge pull request #19199 from wizeman/u/fix-help2man-hash ... help2man: fix hash	2016-10-03 19:26:44 +02:00
Matthias Beyer	081c5494ac	radare2: 0.9.7 -> 0.10.6	2016-10-02 17:19:19 +02:00
Tuomas Tynkkynen	19225bf5cc	Merge remote-tracking branch 'upstream/master' into staging	2016-10-02 10:36:47 +03:00
Vincent Laporte	19eba38b6c	frama-c: Sodium -> Aluminium	2016-09-30 17:49:16 +02:00
Fatih Altinok	f9c8dceb11	bump flow version to 0.32	2016-09-29 08:36:07 +00:00
Vladimír Čunát	77604964b6	Merge branch 'master' into staging	2016-09-28 17:13:59 +02:00
Kirill Boltaev	e61663a233	treewide: move to ocaml-ng system	2016-09-26 02:36:49 +03:00
Aneesh Agrawal	bb349421c1	rr: pin Python to Python 2 ... rr requires Python>=2.7, but does not support Python 3.	2016-09-24 15:05:42 +02:00
Kirill Boltaev	0f37287df5	treewide: explicitly specify gtk version	2016-09-13 21:09:24 +03:00
Tuomas Tynkkynen	1e665de6b4	flow: Broken on i686 ... http://hydra.nixos.org/build/39411311 ```` hh_shared.c:142:6: error: #error "hh_shared.c requires a architecture that supports memfd_create" ````	2016-09-02 18:54:39 +03:00
obadz	78b7529ee3	Merge branch 'master' into staging	2016-08-24 11:57:44 +01:00
Matthew Bauer	ad61000697	cccc: fix darwin build	2016-08-16 19:25:41 +00:00
Robin Gloster	b7787d932e	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-08-12 09:46:53 +00:00
Danny Arnold	21102b1589	flow: 0.28.0 -> 0.30.0	2016-08-09 16:51:13 +02:00
Robin Gloster	1b979d8384	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-08-03 13:34:44 +00:00
Tuomas Tynkkynen	21f17d69f6	treewide: Add lots of meta.platforms ... Build-tested on x86_64 Linux & Mac.	2016-08-02 21:42:43 +03:00
Franz Pletz	f0d0164a38	tracefilesim: disable fortify hardening	2016-08-02 20:21:29 +02:00
Tuomas Tynkkynen	898c3436f3	kcov: Fix indentation	2016-08-02 21:17:44 +03:00
Robin Gloster	f222d98746	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-07-25 12:47:13 +00:00
Ivan Sorokin	844a029bab	rr: 4.2.0 -> 4.3.0	2016-07-23 13:07:24 +03:00
Robin Gloster	203846b9de	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-07-19 10:37:02 +00:00