cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
161248 commits 1 branch 0 tags 3.7 GiB
Commit graph

2272 commits

Author SHA1 Message Date
Frederik Rietdijk
9db2421d1f Merge master into staging-next 2018-11-29 08:12:56 +01:00
Will Dietz
d7a0e03cfa
Merge pull request #51162 from dtzWill/update/z3-4.8.3 
z3: 4.8.1 -> 4.8.3
 2018-11-28 18:15:31 -06:00
Timo Kaufmann
aa053197de
Merge pull request #51191 from timokau/sage-fixes 
sage: fix test timeout and downgraded R tests
 2018-11-28 23:10:32 +01:00
Timo Kaufmann
d6376bca6d sage: don't test the downgraded R 
Fails transiently. See https://github.com/NixOS/nixpkgs/pull/49249. The
failures look harmless and are fixed with R 3.5 which will be used in
sage 8.5.
 2018-11-28 22:52:15 +01:00
Timo Kaufmann
359bf7f1e3 sage: disable test timeout 
Hydra build failed due to timeout:
https://hydra.nixos.org/build/84870983
 2018-11-28 22:37:24 +01:00
Renaud
d209180c78
Merge pull request #51087 from Luz/librepcb 
librepcb: 20181031 -> 0.1.0
 2018-11-28 08:19:13 +01:00
Will Dietz
a034d90e3b z3: 4.8.1 -> 4.8.3 
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
 2018-11-27 22:00:19 -06:00
R. RyanTM
36a0335d02 picard-tools: 2.18.14 -> 2.18.17 (#50647) 
* picard-tools: 2.18.14 -> 2.18.16

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.16
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions

* picard-tools: 2.18.16 -> 2.18.17

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.17
 2018-11-27 14:31:09 +01:00
Nick Hu
583911a0b2 quantomatic: init at 0.7 2018-11-26 21:51:58 +00:00
Luz
021b6e86fa librepcb: 20181031 -> 0.1.0 2018-11-26 22:33:39 +01:00
Vladimír Čunát
a5de78b7d7
Merge branch 'master' into staging-next 2018-11-26 10:28:00 +01:00
Timo Kaufmann
2fbde72556
sage: add tkinter as matplotlib backend (#51032) 
Fixes #50959.
 2018-11-25 17:38:45 +01:00
Timo Kaufmann
98c94d3d7d sage: add jupyter notebook support 
Fixes #48544.
 2018-11-25 15:54:31 +01:00
Timo Kaufmann
0c23fa9aaf
Merge pull request #50998 from timokau/sage-refactor 
Sage refactor
 2018-11-24 23:59:28 +01:00
Timo Kaufmann
a0723f1285 sage: don't fix node version 2018-11-24 23:14:38 +01:00
Timo Kaufmann
e28a8ed287 sage: add some flexibility to the test runner 
Make it possible to run individual tests. This is very useful while
git-bisecting.
 2018-11-24 23:14:38 +01:00
Timo Kaufmann
21f9123ea6 sage: remove openblas hack 
The pc files have since been included into the openblas package.
 2018-11-24 23:14:38 +01:00
Timo Kaufmann
3832ddedb9 sage: refactor 2018-11-24 23:14:33 +01:00
c0bw3b
0ea604ac1d Treewide: use https for SourceForge 2018-11-24 19:58:03 +01:00
Timo Kaufmann
9b4a518465 sage: drop known-padics-failure patch 
The failure was not observed for a while and is probably fixed now.
 2018-11-24 19:01:57 +01:00
Timo Kaufmann
ca6475b5e8 sage: drop unused patches 2018-11-24 19:01:57 +01:00
Frederik Rietdijk
e41154d1ab Merge master into staging-next 2018-11-24 10:43:33 +01:00
Gabriel Ebner
4e1323a0cf vampire: fix nondeterministic hash 
Probably related to #8567
 2018-11-22 14:15:55 +01:00
Michael Raskin
6fe39605df polymake: init at 3.2r4 2018-11-22 12:29:14 +03:00
Frederik Rietdijk
c31cb577ae Merge master into staging-next 2018-11-22 09:57:08 +01:00
worldofpeace
2e70b40f58
Merge pull request #49376 from dpaetzel/package-netlogo 
NetLogo: init 6.0.4
 2018-11-21 21:37:01 -05:00
Frederik Rietdijk
701375662b Merge master into staging-next 2018-11-21 12:39:20 +01:00
Gabriel Ebner
f505340252 iprover: 2.5 -> 2018_Jul_24_11h 2018-11-21 12:15:48 +01:00
David Pätzel
fa623ad828 netlogo: init 6.0.4 2018-11-21 09:38:22 +01:00
markuskowa
0e98312b72
Merge pull request #50734 from r-ryantm/auto-update/gromacs 
gromacs: 2018.3 -> 2018.4
 2018-11-20 22:14:05 +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
Renaud
6550c0275e
Merge pull request #50703 from r-ryantm/auto-update/ltl2ba 
ltl2ba: 1.2b1 -> 1.2
 2018-11-19 22:21:52 +01:00
luzpaz
0ec2af3736
gmsh: 4.0.4 -> 4.0.5 
Manually updated
 2018-11-19 11:12:38 -05:00
R. RyanTM
08a0192340 gromacs: 2018.3 -> 2018.4 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
 2018-11-19 06:47:47 -08:00
R. RyanTM
5648699f6c ltl2ba: 1.2b1 -> 1.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ltl2ba/versions
 2018-11-19 02:28:38 -08:00
Frederik Rietdijk
e343a85cfb Merge master into staging-next 2018-11-19 09:55:32 +01:00
Matthew Bauer
2c1d3a9a82 Merge remote-tracking branch 'upstream/master' into staging 2018-11-18 19:02:09 -06:00
Jörg Thalheim
1282ba6ac4
Merge pull request #50554 from r-ryantm/auto-update/verilator 
verilator: 4.004 -> 4.006
 2018-11-18 12:18:45 +00:00
Frederik Rietdijk
0d0d7dcd06 Merge staging-next into staging 2018-11-18 10:41:34 +01:00
Frederik Rietdijk
63c6875f26 Merge master into staging-next 2018-11-18 10:32:12 +01:00
R. RyanTM
ee521455da verilator: 4.004 -> 4.006 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
 2018-11-18 00:14:21 -08:00
Renaud
44f24a1b8c
Merge pull request #50474 from Pneumaticat/boinc-update 
boinc: 7.8.0 -> 7.14.2
 2018-11-17 12:03:09 +01:00
Jörg Thalheim
131f2e93b6
sage: unpin nodePackage version 2018-11-16 21:24:25 +00:00
Kevin Liu
c93b16829c
boinc: 7.8.0 -> 7.14.2 2018-11-16 15:52:22 -05:00
Ben Darwin
cb6d819b93 niftyseg: init at 1.0.0 2018-11-16 12:29:29 -05:00
Ben Darwin
6aa3deeb50 niftyreg: init at 1.3.9 2018-11-16 12:24:53 -05:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc 
solc: 0.4.25 -> 0.5.0
 2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64 
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
 2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00