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 |
|