Timo Kaufmann
|
4900bbee17
|
sage: preload openblasCompat
|
2018-11-28 20:44:09 +01:00 |
|
Timo Kaufmann
|
7ca2915a50
|
sage: 8.5.beta4 -> 8.5.beta5
|
2018-11-27 18:26:16 +01:00 |
|
Timo Kaufmann
|
2dd9a0ed72
|
Merge remote-tracking branch 'upstream/master' into sage-8.5
|
2018-11-27 18:25:39 +01: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 |
|
Timo Kaufmann
|
90cebaf828
|
sage: 8.5.beta3 -> 8.5.beta4
|
2018-11-25 19:39:18 +01:00 |
|
Timo Kaufmann
|
2a87caa892
|
sage: 8.5.beta2 -> 8.5.beta3
|
2018-11-25 19:39:17 +01:00 |
|
Timo Kaufmann
|
3370247f7f
|
sage: 8.5.beta1 -> 8.5.beta2
|
2018-11-25 19:39:17 +01:00 |
|
Timo Kaufmann
|
883aa99226
|
sage: add short tests
|
2018-11-25 19:39:13 +01:00 |
|
Timo Kaufmann
|
8e7da1b8a4
|
sage: 8.5.beta0 -> 8.5.beta1
|
2018-11-25 19:36:21 +01:00 |
|
Timo Kaufmann
|
6138f5d5eb
|
sage: 8.4 -> 8.5.beta0
|
2018-11-25 19:36:21 +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 |
|
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 |
|
worldofpeace
|
2e70b40f58
|
Merge pull request #49376 from dpaetzel/package-netlogo
NetLogo: init 6.0.4
|
2018-11-21 21:37:01 -05: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
|
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 |
|
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
|
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 |
|
Gabriel Ebner
|
b1c149d47a
|
tptp: use urls instead of url
nix-prefetch-url breaks if the url argument to fetchurl is a list.
|
2018-11-15 15:56:18 +01:00 |
|
Gabriel Ebner
|
b3844d00f6
|
tptp: 7.1.0 -> 7.2.0
|
2018-11-15 15:50:48 +01:00 |
|
Renaud
|
650036f022
|
Merge pull request #50359 from jfrankenau/gurobi-java
gurobi: install Java library files
|
2018-11-15 14:13:47 +01:00 |
|
Johannes Frankenau
|
b4e13e6257
|
gurobi: install Java library files
|
2018-11-14 19:38:18 +01:00 |
|
Jörg Thalheim
|
987bd62232
|
Merge pull request #50232 from wucke13/master
qgroundcontrol: fixes #49870
|
2018-11-14 17:10:05 +00:00 |
|
Renaud
|
7ca9d67948
|
Merge pull request #50102 from r-ryantm/auto-update/gp2c
gp2c: 0.0.11 -> 0.0.11pl1
|
2018-11-14 16:07:49 +01:00 |
|