3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

309 commits

Author SHA1 Message Date
Vincent Laporte 65b1613456 frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus) 2017-07-18 20:30:53 +02:00
Niklas Hambüchen a37f3a3573 hotspot: init at 1.0.0 2017-07-09 22:30:41 +02:00
Fatih Altinok a0f3ce28eb flow: 0.48.0 -> 0.49.1 2017-07-04 17:43:40 +02:00
Pascal Wittmann e071756043
spin: 6.4.5 -> 6.4.6 2017-07-01 10:16:14 +02:00
Thomas Tuegel c816bbc8a8
qt5: remove makeQtWrapper 2017-06-18 08:44:42 -05:00
Thomas Tuegel 210f688802
qt5: rename qmakeHook to qmake 2017-06-18 08:41:57 -05:00
Fatih Altinok ca8eed1732 flow: 0.46.0 -> 0.48.0 2017-06-16 09:32:05 +02:00
Pascal Wittmann 2c84e814e8
randoop: init at 3.1.5 2017-06-04 17:19:23 +02:00
Joachim Fasting 157b5bd1f0
cppcheck: 1.78 -> 1.79
ChangeLog: https://sourceforge.net/p/cppcheck/news/2017/05/cppcheck-179/
2017-05-28 17:18:11 +02:00
Fatih Altinok 27dc2c4926 flow: 0.42.0 -> 0.46.0 2017-05-22 15:49:30 +03:00
Armijn Hemel 192659af57 radare2: 1.3.0 -> 1.4.0 2017-04-19 12:23:45 +02:00
Guillaume Maudoux 605ce9b241 cppcheck: 0.76.1 -> 0.78 (#24937)
* cppcheck: 0.76.1 -> 0.78

* cppcheck: enable rule-file support
2017-04-16 09:53:05 +02:00
Tuomas Tynkkynen 15efefa832 lcov: 1.12 -> 1.13 2017-04-09 21:48:25 +03:00
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