Commit Graph

536 Commits

Author SHA1 Message Date
Mario Rodas
81c99bfe63 flow: 0.87.0 -> 0.89.0 2018-12-14 14:43:57 +00:00
Etienne Laurin
328fbcff60 ikos: init at 2.1 2018-12-12 00:09:24 +00:00
Vincent Laporte
8c11c9528e frama-c: Chlorine -> Argon 2018-12-09 19:50:38 +00:00
Frederik Rietdijk
5f554279ec Merge master into staging-next 2018-12-07 15:22:35 +01:00
Mario Rodas
88b48753ac flow: 0.86.0 -> 0.87.0 2018-12-07 03:48:39 +00:00
Jörg Thalheim
df2e442853
radare2: 3.1.2 -> 3.1.3 2018-12-05 10:44:41 +00:00
Tor Hedin Brønner
d539b09768 valgrind: run autoconf to pick up Makefile.am patch
https://github.com/NixOS/nixpkgs/pull/51107 added a patch to Makefile.am to fix
a race condition in the build. It was unfortunately never picked up as we we're
using the generated makefile from the tarball.
2018-12-04 13:17:49 +01:00
Jörg Thalheim
1f5c851967 radare: remove
This project has been deprecated in 2016.
Radare2 should been used intead: https://github.com/radare/radare
2018-12-04 00:33:49 +01:00
Jörg Thalheim
58700be336
radare2: 3.1.1 -> 3.1.2 2018-12-03 22:29:22 +00:00
Will Dietz
2b585ece44 radare2: 3.1.0 -> 3.1.1
https://github.com/radare/radare2/releases/tag/3.1.1
2018-12-03 00:54:57 -06:00
Frederik Rietdijk
9db2421d1f Merge master into staging-next 2018-11-29 08:12:56 +01:00
Will Dietz
9d25cac004 radare2: 3.0.1 -> 3.1.0 2018-11-27 09:43:31 -06:00
Sarah Brofeldt
a067e883b1 valgrind: Apply upstream patch for Makefile race in coregrind 2018-11-27 12:45:59 +01:00
Frederik Rietdijk
aabf1a93bc Merge staging-next into staging 2018-11-20 11:51:11 +01:00
Frederik Rietdijk
fd26e7be2a Merge master into staging-next 2018-11-20 11:47:26 +01:00
R. RyanTM
57fcacf214 flow: 0.85.0 -> 0.86.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/flow/versions
2018-11-19 12:14:32 -08:00
Will Dietz
aceb11047a retdec: bump yaramod dep to fix 2/bison 3.2+ 2018-11-16 08:39:40 -06:00
Frederik Rietdijk
7863aae5b2 Merge master into staging-next 2018-11-11 08:59:44 +01:00
Jörg Thalheim
c758113f80
Merge pull request #50174 from Mic92/radare2
radare2: 3.0.0 -> 3.0.1
2018-11-10 22:06:40 +00:00
R. RyanTM
fbe08fe1dc checkstyle: 8.13 -> 8.14 (#50133)
* checkstyle: 8.13 -> 8.14

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/checkstyle/versions

* checkstyle: jre is a runtime deps
2018-11-10 15:42:24 +01:00
Jörg Thalheim
67f3cd2831
radare2: 3.0.0 -> 3.0.1 2018-11-10 14:03:48 +00:00
Frederik Rietdijk
53d00c3351 Merge master into staging-next 2018-11-10 11:08:54 +01:00
R. RyanTM
5e02b5e689 pmd: 6.8.0 -> 6.9.0 (#50015)
* pmd: 6.8.0 -> 6.9.0

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pmd/versions
2018-11-09 13:37:30 +01:00
Mario Rodas
71a30baab4 flow: 0.80.0 -> 0.85.0 2018-11-06 08:06:11 -05:00
Frederik Rietdijk
0e0d20fb5f Merge master into staging-next 2018-10-30 19:55:48 +01:00
Jörg Thalheim
b5ad615474
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
2018-10-30 13:31:11 +00:00
Ignat Loskutov
c1748f0b09 cppcheck: 1.84 -> 1.85 2018-10-29 00:19:46 +03:00
volth
716cfab34e Merge master into staging-next 2018-10-24 17:37:47 +00:00
Renaud
73f796aa62
Merge pull request #46299 from r-ryantm/auto-update/capnproto
capnproto: 0.6.1 -> 0.7.0
2018-10-21 16:43:37 +02:00
Renaud
17c96ab275
rr: build according to C++14 standard
Avoid breaking the build with capnproto >= 0.7.0
2018-10-21 16:18:36 +02:00
Frederik Rietdijk
4eadb33045 Merge staging-next into staging 2018-10-20 09:47:28 +02:00
Frederik Rietdijk
ca6ee8f519 Merge master into staging-next 2018-10-20 09:40:09 +02:00
Will Dietz
6b06bda3b3 snowman: 0.1.2 -> 0.1.3 2018-10-19 20:56:40 -05:00
Will Dietz
4de5354c7c valgrind: 3.13.0 -> 3.14.0 (#48173) 2018-10-19 11:39:54 +02:00
Frederik Rietdijk
8d8dc1fa34 Merge master into staging 2018-10-18 11:43:54 +02:00
Jörg Thalheim
81a0724fe2
Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2
radare2-cutter: 1.7.1 -> 1.7.2
2018-10-17 09:28:17 +01:00
Frederik Rietdijk
89349fdae9 Merge staging-next into staging 2018-10-17 08:36:28 +02:00
Will Dietz
26dfc0c533 radare2: fix update script to handle invocation from elsewhere
It looks like `with Path:` is supposed to be a context-manager
for changing directory but it doesn't seem to work and the only
way I've found to make that work is if we made our own and annotated it.

Instead just use nix search path to tell the expression where
to find the file it looks for.

Also re-use SCRIPT_DIR elsewhere instead of re-"computing" it.
2018-10-16 14:05:01 -05:00
Will Dietz
6fdc165564 r2-for-cutter: revert accidental change to version info 2018-10-16 12:35:16 -05:00
Will Dietz
9b590126a7 radare2-cutter: 1.7.1 -> 1.7.2 2018-10-16 12:34:05 -05:00
Will Dietz
f88957d170 radare2: libuv and actually use deps we're providing
Particularly openssl and zlib.
There are others we may wish to provide but for now
let's at least use the ones in buildInputs :).
2018-10-16 12:31:07 -05:00
Will Dietz
56ef6eeb43 radare2: 2.9.0 -> 3.0.0 2018-10-16 12:31:05 -05:00
R. RyanTM
e2dfafed6b checkstyle: 8.12 -> 8.13
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/checkstyle/versions
2018-10-15 23:22:38 -07:00
volth
f65dfb3caf buildPerlPackage -> perlPackages.buildPerlPackage 2018-10-14 09:10:41 +02:00
Renaud
7a90980194
Merge pull request #47836 from bhipple/add/cpplint
cpplint: init at 1.3.0
2018-10-12 21:38:24 +02:00
Benjamin Hipple
964214b107 cpplint: init at 1.3.0
Static analyzer for C++ code. Licensed under a very permissive, generic Google license (BSD3 wording).
2018-10-12 18:51:43 +00:00
Will Dietz
f84cfdf02a
Merge pull request #48180 from timokau/retdec-update
retdec: 3.0 -> 3.2
2018-10-11 17:36:41 -05:00
Timo Kaufmann
a33dec8cd5 retdec: 3.0 -> 3.2 2018-10-11 23:53:00 +02:00
R. RyanTM
e1c5b47935 pmd: 6.7.0 -> 6.8.0 (#47736)
* pmd: 6.7.0 -> 6.8.0

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pmd/versions

* pmd: refresh meta

Homepage is now https://pmd.github.io/
Added licenses
2018-10-11 13:20:01 +02:00
Daiderd Jordan
1383c08f2c
Merge branch 'master' into staging-next 2018-10-01 19:42:07 +02:00