Commit graph

290 commits

Author SHA1 Message Date
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
Joachim Fasting ce103cae38
cppcheck: 1.73 -> 1.74 2016-07-17 11:52:13 +02:00
Robin Gloster 5185bc1773 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-15 14:41:01 +00:00
Danny Arnold 42c91dd1d8 flow: 0.22.1 -> 0.28.0 (#16827) 2016-07-10 14:02:21 +02:00
Tuomas Tynkkynen 21253ac835 lcov: 1.10 -> 1.12; maintain 2016-07-08 03:27:07 +03:00
Vladimír Čunát 6b27ceb006 Merge 'master' into staging and re-revert merge
... from staging to master, reverted temporarily in aa9a04883e.
2016-06-23 12:09:03 +02:00
Vladimír Čunát aa9a04883e Revert "Merge branch 'staging'" due to glibc
The main output started to retain dependency on bootstrap-tools; see
https://github.com/NixOS/nixpkgs/pull/15867#issuecomment-227949096

This reverts commit c05d829598, reversing
changes made to f073df60d6.
2016-06-23 09:25:10 +02:00