Joachim F
d9701350f9
Merge pull request #16951 from heilkn/lie
...
LiE: include forgotten file INFO.a by installation
2016-07-16 19:54:23 +02:00
Michael Raskin
61a3610853
tptp: 6.3.0 -> 6.4.0
2016-07-16 11:34:32 +02:00
Konstantin Heil
c0656fe0c1
LiE: include forgotten file INFO.a by installation
2016-07-14 14:18:57 +02:00
Konstantin Heil
b92c429799
LiE: init at 2.2.2
2016-06-30 21:04:41 +02:00
Vladimír Čunát
3afa246038
Merge branch 'staging'
...
This includes a security update of expat.
2016-06-29 07:47:04 +02:00
Austin Seipp
25bf4a5634
cryptoverif: init at 1.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-06-28 04:37:29 +00:00
Austin Seipp
a69799c740
statverif: init at 1.86pl4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-06-28 04:36:11 +00:00
Austin Seipp
be19637b2a
proverif: init at 1.94
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-06-28 04:36:11 +00:00
Ta'iř sj Ořit
3832ebde8b
gephi: init at 0.9.1 ( #16071 )
2016-06-26 22:40:00 +02:00
mimadrid
5c7a75412e
igv: init at 2.3.77
2016-06-26 19:27:56 +02:00
Joachim Fasting
46b07b335b
Merge pull request #16379 from mimadrid/init/bcftools-1.3.1
...
bcftools: init at 1.3.1
2016-06-24 22:15:51 +02:00
mimadrid
d91d245f16
bcftools: init at 1.3.1
2016-06-24 21:08:17 +02:00
mimadrid
14feec44e4
samtools: refactoring
2016-06-24 21:08:17 +02:00
Vladimír Čunát
6b27ceb006
Merge 'master' into staging and re-revert merge
...
... from staging to master, reverted temporarily in aa9a04883e34.
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 c05d8295988697adbb920a7b4a999ae3670c5504, reversing
changes made to f073df60d60444c30c49cb26d6b187a4100b41fe.
2016-06-23 09:25:10 +02:00
Vladimír Čunát
c05d829598
Merge branch 'staging'
2016-06-22 10:49:56 +02:00
Gabriel Ebner
0a8e613cea
aspino: init at 2016-01-31
2016-06-21 13:55:28 +02:00
Gabriel Ebner
8f84a5cb08
glucose, glucose-syrup: init at 4.0
2016-06-21 13:26:51 +02:00
Gabriel Ebner
9c5588e99f
spass: 3.7 -> 3.9
2016-06-21 08:18:20 +02:00
Michael Raskin
ca495a53a5
tptp: fix hash
2016-06-20 18:38:08 +02:00
Bjørn Forsman
bd01fad0ed
Captialize meta.description of all packages
...
In line with the Nixpkgs manual.
A mechanical change, done with this command:
find pkgs -name "*.nix" | \
while read f; do \
sed -e 's/description\s*=\s*"\([a-z]\)/description = "\u\1/' -i "$f"; \
done
I manually skipped some:
* Descriptions starting with an abbreviation, a user name or package name
* Frequently generated expressions (haskell-packages.nix)
2016-06-20 13:55:52 +02:00
Gabriel Ebner
727716cd82
speedcrunch: 0.11-alpha -> 0.11
2016-06-19 18:45:04 +02:00
Gabriel Ebner
e5b3b685f4
libqalculate, qalculate-gtk: 0.9.7 -> 0.9.8
2016-06-19 17:33:45 +02:00
Gabriel Ebner
cc0b3bbcc2
minisat: support clang
2016-06-19 15:19:25 +02:00
Vladimír Čunát
e757404555
Merge branch 'master' into staging
...
Hydra nixpkgs: ?compare=1279790
2016-06-19 12:33:04 +02:00
Vladimír Čunát
97c484a10f
treewide: fix #include errors after gcc-5.4
...
They were mostly missing <cmath> or <math.h>.
2016-06-19 10:18:30 +02:00
mimadrid
aa8eba9d95
weka: 3.6.12 -> 3.8.0
...
Closes #16055
2016-06-16 15:47:48 +02:00
mimadrid
9b7a53d9cb
cytoscape: init at 3.4.0
...
Closes #16197
2016-06-16 15:47:21 +02:00
Christopher Lübbemeier
ac4903284c
gmsh: init at 2.12.0
2016-06-09 18:54:26 +02:00
Luis Pedro Coelho
bd617cb185
init bwa at 0.7.15
...
Closes #16064
2016-06-08 17:25:20 +01:00
Tuomas Tynkkynen
f1d83444a5
openmodelica: Use makeLibraryPath
2016-06-07 21:18:02 +03:00
Joachim Fasting
e65698db0b
Merge pull request #15939 from ChrisJefferson/fix-gap
...
gap : 4.4.12 -> 4.8.3
2016-06-04 01:14:09 +02:00
Chris Jefferson
75f793bbb2
gap : 4.4.12 -> 4.8.3
2016-06-03 19:01:12 +01:00
Tuomas Tynkkynen
bac26e08db
Fix lots of fetchgit hashes (fallout from #15469 )
2016-06-03 17:17:08 +03:00
Nikolay Amiantov
51f479465c
qgroundcontrol: fix build
2016-05-29 19:51:22 +03:00
Moritz Ulrich
7b2fab05f3
Merge pull request #15606 from dvc94ch/fpga-toolchain-updates
...
FPGA toolchain updates
2016-05-28 15:41:10 +02:00
Vladimír Čunát
e4832c7541
Merge branch 'staging'
...
Includes a security update of libxml2.
2016-05-27 15:58:40 +02:00
Vladimír Čunát
81039713fa
Merge branch 'master' into staging
...
... to get the systemd update (rebuilding ~7k jobs).
2016-05-26 16:50:22 +02:00
Vladimír Čunát
ee1a10ee6b
Revert "root: enable parallel building"
...
This reverts commit 2991fdca52ce43218f166c706114ab294dd21b3c.
Hydra builds often report missing various files.
2016-05-26 16:27:59 +02:00
Tobias Geerinckx-Rice
dce1edf946
samtools: 1.3 -> 1.3.1
2016-05-25 02:06:47 +02:00
Nicolò Balzarotti
c1c0c99af3
yarp: 2.3.64 -> 2.3.65 ( #15662 )
2016-05-24 13:30:52 +02:00
David Craven
509ce20ded
verilog: 0.97 -> 2016.05.21
2016-05-22 07:38:57 +02:00
David Craven
ce3d510d90
verilator: 3.874 -> 3.884
2016-05-22 07:38:57 +02:00
Tuomas Tynkkynen
8d473f107c
treewide: Make explicit that 'dev' output of readline is used
2016-05-19 10:03:35 +02:00
Tuomas Tynkkynen
47c45e2041
treewide: Make explicit that 'dev' output of gmp is used
2016-05-19 10:00:36 +02:00
Tuomas Tynkkynen
85a51074dc
treewide: Make explicit that 'dev' output of atk is used
2016-05-19 10:00:25 +02:00
Peter Simons
8e462995ba
Bring my stdenv.lib.maintainers user name in line with my github nick.
2016-05-16 22:49:55 +02:00
Vladimír Čunát
6c2fbfbd77
Merge branch 'master' into staging
2016-05-12 04:53:38 +02:00
Bjørn Forsman
300e495101
sigrok: update whole suite to latest (2016-01)
...
Release announcement, 2016-01-30:
https://www.sigrok.org/blog/major-sigrok-releases-libsigrok-libsigrokdecode-sigrok-cli-pulseview
I first tried updating the projects in separate commits. But later I
found cyclic dependencies, that would break git bisect, so I ended up
squashing the commits:
* libsigrok: 0.3.0 -> 0.4.0
Enable building libsigrokcxx.so, the C++ bindings for libsigrok, by
adding doxygen, glibmm and python as build deps. This is needed for
Pulseview >= 0.3.0. Also update the firmware (sigrok-firmware-fx2lafw)
while at it.
* libsigrokdecode: 0.3.0 -> 0.4.0
* sigrok-cli: 0.5.0 -> 0.6.0
* pulseview: 0.2.0 -> 0.3.0
New dependency: glibmm (due to libsigrokcxx.pc from libsigrok).
Note that collectd is incompatible with the new libsigrok release, so
I let it use the old one (0.3.0).
2016-05-11 22:23:29 +02:00
Eelco Dolstra
7ce5d43c63
Fix some URLs that lacked a URI scheme
2016-05-09 19:35:05 +02:00