Nikolay Amiantov
1260b05279
cntk: 2.4 -> 2.7
...
Restrict platforms to x86_64-linux.
2019-06-02 19:40:49 +03:00
markuskowa
5e45835011
Merge pull request #62448 from r-ryantm/auto-update/jmol
...
jmol: 14.29.40 -> 14.29.42
2019-06-02 11:46:45 +02:00
R. RyanTM
e20c69619f
jmol: 14.29.40 -> 14.29.42
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
2019-06-01 17:19:25 -07:00
worldofpeace
b33513d237
Merge pull request #62378 from r-ryantm/auto-update/clp
...
clp: 1.17.1 -> 1.17.2
2019-06-01 12:10:36 -04:00
worldofpeace
62c68b8a72
clp: update homepage
2019-06-01 12:08:20 -04:00
R. RyanTM
6f2d2818b0
cryptoverif: 2.00 -> 2.01
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
2019-06-01 10:51:25 -05:00
Alyssa Ross
062210bdff
treewide: update cargoSha256 hashes for cargo-vendor upgrade
...
A recent upgrade of cargo-vendor changed its output slightly, which
broke all cargoSha256 hashes in nixpkgs.
See https://github.com/NixOS/nixpkgs/issues/60668 for more information.
Since then, a few hashes have been fixed in master by hand, but there
were a lot still to do, so I did all of the ones left over with some
scripts I wrote.
The one hash I wasn’t able to update was habitat's, because it’s
currently broken and the build doesn’t get far enough to produce a
hash anyway.
2019-06-01 15:17:52 +00:00
R. RyanTM
332c600f7d
clp: 1.17.1 -> 1.17.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/clp/versions
2019-06-01 04:05:51 -07:00
Vincent Laporte
57c3da07eb
coq_8_9: 8.9.0 -> 8.9.1
2019-05-29 11:24:45 +02:00
Will Dietz
368f870219
libqalculate,qalculate-gtk: 3.1.0 -> 3.2.0
2019-05-28 19:14:03 -05:00
Jörg Thalheim
10ddd34921
verilator: 4.012 -> 4.014 ( #62013 )
...
verilator: 4.012 -> 4.014
2019-05-25 09:16:58 +01:00
Dmitry Kalinkin
785204f5a1
Merge pull request #61895 from smaret/gildas-update
...
gildas: 20190401_a -> 20190501_a
2019-05-24 17:48:25 -04:00
R. RyanTM
66b4fd678c
verilator: 4.012 -> 4.014
...
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
2019-05-24 09:19:04 -07:00
Renaud
70a494a486
Merge pull request #61798 from bobvanderlinden/aliza-1.48.10
...
aliza: 1.36.3 -> 1.48.10
2019-05-24 17:23:51 +02:00
Ryan Mulligan
34e8f3b119
Merge pull request #61997 from r-ryantm/auto-update/stacks
...
stacks: 2.3e -> 2.4
2019-05-24 06:31:43 -07:00
R. RyanTM
f4a20199d2
stacks: 2.3e -> 2.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/stacks/versions
2019-05-24 03:50:06 -07:00
Sébastien Maret
cadd88967f
gildas: 20190401_a -> 20190501_a
2019-05-24 08:11:21 +02:00
Gabriel Ebner
cca0aeeb68
spyder: convert to python modules
2019-05-21 18:23:07 +02:00
Bob van der Linden
c8571f6a2c
aliza: ? -> 1.48.10
2019-05-21 11:31:38 +02:00
Cyril Cohen
d16a78b512
several fixes in coq and coqPackages.mathcomp (and extras)
2019-05-21 08:55:38 +02:00
markuskowa
82ea400e46
Merge pull request #61630 from markuskowa/upd-molden
...
molden: 5.9.5 -> 6.1
2019-05-18 20:13:57 +02:00
Robin Gloster
43aa2e30c3
Merge pull request #58369 from bzizou/clustalo
...
clustal-omega: init at 1.2.4
2019-05-18 10:16:43 +00:00
Robin Gloster
6cf583cf2f
Merge pull request #60406 from JohnAZoidberg/remove-isnull
...
treewide: Remove usage of isNull
2019-05-18 09:36:24 +00:00
Markus Kowalewski
dce18eefd1
molden: 5.9.5 -> 6.1
2019-05-17 13:07:53 +02:00
Aaron Andersen
8b3350cf15
Merge pull request #61462 from mpoquet/simgrid-3.21-to-3.22.2
...
simgrid: 3.21 -> 3.22.2
2019-05-16 12:04:44 -04:00
Will Dietz
51202e96fa
nasc: 0.5.2 -> 0.5.4
...
https://github.com/parnold-x/nasc/releases/tag/0.5.4
https://github.com/parnold-x/nasc/releases/tag/0.5.3
2019-05-15 16:59:26 -05:00
Millian Poquet
13aa449bab
simgrid: remove unneeded 'name' definition
2019-05-15 12:35:12 +02:00
Vincent Laporte
b72daf7117
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
Vincent Laporte
1ce94fad33
coq: make “coq-version” more general
2019-05-15 10:30:03 +02:00
Millian Poquet
00fc5bd08f
simgrid: override checkPhase -> preCheck
...
This commit changes how failing tests are ignored.
- Previously, the whole checkPhase was overridden.
- Now, preCheck generates a ctest ignore file.
ctest doc: https://gitlab.kitware.com/cmake/community/wikis/doc/ctest/Testing-With-CTest#customizing-ctest
2019-05-14 18:27:51 +02:00
Millian Poquet
aa29b79e8a
simgrid: fetchgit -> fetchFromGitLab
2019-05-13 21:26:09 +02:00
Millian Poquet
c7ab2b9499
simgrid: 3.21 -> 3.22.2
...
- GitHub -> Framagit (SimGrid main repo has moved)
- Test binaries must now be explicitly compiled (`make tests`)
- Fix broken documentation link
2019-05-13 18:58:27 +02:00
Timo Kaufmann
ecfc35e9a6
pynac: 0.7.24 -> 0.7.25 ( #61458 )
2019-05-13 17:11:13 +02:00
Renaud
bf4728cb40
eggnog-mapper: fix patch URL and hash
2019-05-13 16:00:07 +02:00
R. RyanTM
af6a39460a
cbc: 2.9.9 -> 2.10.2 ( #58016 )
...
* cbc: 2.9.9 -> 2.10.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/cbc/versions
* cbc: 2.10.0 -> 2.10.2
+ mark as broken on aarch64 (fails to build)
2019-05-12 23:46:18 +02:00
Sebastien Bourdeauducq
992150d37b
symbiyosys: fix path to bash
2019-05-12 20:00:10 +02:00
Renaud
d081baa4a5
Merge pull request #61335 from r-ryantm/auto-update/minimap2
...
minimap2: 2.16 -> 2.17
2019-05-12 17:27:28 +02:00
R. RyanTM
ad5676f8b9
minimap2: 2.16 -> 2.17
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-05-11 21:12:42 -07:00
wucke13
a670a8dbb1
apmplanner-2: 2.0.26 -> 2.0.27-rc1
2019-05-11 19:15:10 +02:00
Timo Kaufmann
3814d7b14a
givaro: 4.0.4 -> 4.1.0, fflas-ffpack: 2.3.2 -> 2.4.0, linbox: 1.5.2 -> 1.6.0 ( #61285 )
...
The three packages are interdependent and need to be updated together,
like the main contributor did for sage:
https://trac.sagemath.org/ticket/24214
2019-05-11 16:09:07 +02:00
Michael Raskin
7252364dfa
tptp: switch to new base URL for source tarball
2019-05-09 22:57:59 +02:00
Michael Raskin
a8c4b37063
vampire: switch off the fragile fetchSubmodules/leaveDotGit
2019-05-09 22:57:59 +02:00
Renaud
2fb1b3156f
Merge pull request #60932 from c0bw3b/patches-cleanup
...
[treewide] delete (some) unused patches
2019-05-07 23:34:04 +02:00
Frederik Rietdijk
a80982b4c9
Merge staging-next into master
2019-05-07 19:29:06 +02:00
Frederik Rietdijk
0196d8f11c
Merge master into staging-next
2019-05-07 09:00:06 +02:00
Mario Rodas
e47dd1bb34
cedille: fix hash
2019-05-05 20:47:29 -05:00
Michael Raskin
7770495cd7
Merge pull request #59148 from volth/gcc.arch.v3
...
compilation for particular x86_64 architecture
2019-05-05 19:12:12 +00:00
Daniël de Kok
f029f8c5ad
fasttext: init at 0.2.0
2019-05-05 08:28:44 +02:00
c0bw3b
9cb260d091
[treewide] delete unused patches
2019-05-04 19:52:24 +02:00
Frederik Rietdijk
155c9d8e18
Merge master into staging-next
2019-05-02 08:43:14 +02:00