Commit graph

2707 commits

Author SHA1 Message Date
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
Renaud 2f76c9b7e8
Merge pull request #60694 from r-ryantm/auto-update/picard-tools
picard-tools: 2.19.0 -> 2.19.2
2019-05-02 08:06:35 +02:00
R. RyanTM d41da19c65 picard-tools: 2.19.0 -> 2.19.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/picard-tools/versions
2019-05-01 17:49:08 -07:00
Gabriel Ebner ebbeae56bd
kicad: 5.0.2 -> 5.1.2 (#60611)
kicad: 5.0.2 -> 5.1.2
2019-05-01 12:21:02 +02:00
Frederik Rietdijk f137783927 Merge master into staging-next 2019-05-01 11:45:46 +02:00
R. RyanTM cc82f81d9a bowtie2: 2.3.5 -> 2.3.5.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/bowtie2/versions
2019-05-01 11:17:16 +02:00
R. RyanTM dbfdaf048a gromacs: 2019.1 -> 2019.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/gromacs/versions
2019-05-01 11:14:16 +02:00
Gabriel Ebner 9370c1afdb kicad: 5.0.2 -> 5.1.2 2019-05-01 11:13:14 +02:00
R. RyanTM 06aa3d6f60 jmol: 14.29.36 -> 14.29.40
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-05-01 11:10:18 +02:00
Gabriel Ebner e62576817f Merge branch 'auto-update/libqalculate' 2019-05-01 10:28:38 +02:00
Gabriel Ebner 1d5a0ffbfc qalculate-gtk: 3.0.0 -> 3.1.0 2019-05-01 10:28:04 +02:00