Commit Graph

2097 Commits

Author SHA1 Message Date
R. RyanTM
609f9198f2 verilator: 3.926 -> 4.002
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-10-02 09:56:10 -05:00
Sebastien Maret
34ac35dfc6 gildas: 20180901_a -> 20181001_a (#47657)
- Update gildas to the latest version
 - Remove a patch that has been applied upstream
2018-10-02 12:49:33 +02:00
Austin Seipp
919a3b7f9c symbiyosys: 2018.07.26 -> 2018.09.12
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-10-01 22:32:54 -05:00
R. RyanTM
77f8e10fed picard-tools: 2.18.12 -> 2.18.14 (#46978)
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
2018-09-29 21:03:17 +02:00
R. RyanTM
7ecc7c9220 gtkwave: 3.3.93 -> 3.3.94 (#47048)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2018-09-28 23:47:58 +02:00
R. RyanTM
b65fbe8fcd gmsh: 4.0.0 -> 4.0.1 (#47060)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2018-09-28 22:17:32 +02:00
Will Dietz
eb91037e7b tree-wide: patchelf used during build -> nativeBuildInputs
In a few cases it wasn't clear so I left them as-is.

While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:

* makeWrapper
* archive utilities (in order to unpack src)
  * a few of these might no longer be needed but leaving for another day
2018-09-28 11:43:16 -05:00
Timo Kaufmann
87ca34b895
Merge pull request #47043 from r-ryantm/auto-update/jmol
jmol: 14.29.19 -> 14.29.22
2018-09-27 12:09:01 +02:00
markuskowa
6f6222c40f openmolcas: 20180529 -> 18.09 (#47410) 2018-09-27 10:47:02 +02:00
Vincent Laporte
23900febe7 coq: 8.8.1 -> 8.8.2 (#47388) 2018-09-26 22:26:39 +02:00
Sebastien Maret
1e67ff3f05 gildas: 20180801_a -> 20180901_a (#46159)
* gildas: 20180801_a -> 20180801_b

  - Update gildas
  - Remove a patch that has been applied upstream

* gildas: 20180801_b -> 20180901_a
2018-09-25 16:18:53 +02:00
Frederik Rietdijk
56853dc6d8
Merge pull request #45941 from NixOS/staging-next
Staging next
2018-09-23 09:31:28 +02:00
Orivej Desh
7545b7dcf3 platypus: 2017-03-07 -> 2018-07-22 2018-09-21 22:42:28 +00:00
Orivej Desh
cefd38b721 samtools: 1.8 -> 1.9 2018-09-21 22:42:28 +00:00
R. RyanTM
730eb9f5f2 jmol: 14.29.19 -> 14.29.22
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
2018-09-20 12:30:18 -07:00
Frederik Rietdijk
de419917a3 Merge master into staging-next 2018-09-18 18:44:48 +02:00
Chris Ostrouchov
a2bc529f22
siesta: init at 4.0.2 2018-09-14 15:40:25 -04:00
Chris Ostrouchov
2c7295ebe0
quantum-espresso: init at 6.3 2018-09-14 15:40:14 -04:00
Maximilian Bosch
2cfc0bb7ee tamarin-prover: fix ghc 8.4 build (#46597)
See https://hydra.nixos.org/build/81125645

`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:

a08f6e4007

The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.

Addresses #45960
2018-09-13 14:11:09 +02:00
Markus J. Ankenbrand
e2df8e7c0f seaview: init at 4.7 (#46595) 2018-09-13 14:10:44 +02:00
Uli Baum
1df2560dde Merge branch 'master' into staging-next 2018-09-13 10:08:53 +02:00
R. RyanTM
e94947af0a gromacs: 2018.2 -> 2018.3 (#46275)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
gromacs
2018-09-12 23:07:27 +02:00
R. RyanTM
c4e8db3de0 star: 2.6.0c -> 2.6.1a (#46176)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
star
2018-09-12 22:49:12 +02:00
Matthew Bauer
40d19d8e7c
Merge pull request #45102 from jbedo/hisat2
hisat2: init 2.1.0
2018-09-10 15:11:58 -05:00
Matthew Bauer
05d379f3cf
Merge pull request #46211 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.11 -> 2.18.12
2018-09-10 14:58:59 -05:00
Silvan Mosberger
10a412f251
almonds: update license 2018-09-09 02:04:34 +02:00
Markus Kowalewski
70e254d6bd
root: add license 2018-09-08 14:51:28 +02:00
Markus Kowalewski
1cff2dd135
pynac: add license 2018-09-08 14:48:19 +02:00
Markus Kowalewski
258c202565
prooftree: add license 2018-09-08 14:44:43 +02:00
Markus Kowalewski
2ed07fdb2b
drgeo: add license + homepage 2018-09-08 14:42:12 +02:00
Timo Kaufmann
db784d883c sage: re-add pkg-config aliases
Those were removed because they were added to openblas itself. There was
an error with that however and it will take some time until the fix
makes its way through staging. For the time being, reverting this part
of 26d5d030fe498b64a307af35ff96ff215ccd967a will fix the sage build.
This commit should be reverted once
408eacbc896ecc6d0e25238963ecbd412d78ce3c is in master.
2018-09-07 21:55:41 +02:00
Timo Kaufmann
7521f2863d sage: fix numpy and scipy integration 2018-09-07 18:36:52 +02:00
Timo Kaufmann
759e495881
Merge pull request #46268 from r-ryantm/auto-update/jmol
jmol: 14.29.17 -> 14.29.19
2018-09-07 11:32:26 +02:00
R. RyanTM
baf51804f0 jmol: 14.29.17 -> 14.29.19
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
jmol
2018-09-06 19:54:40 -07:00
R. RyanTM
f72cba212c picard-tools: 2.18.11 -> 2.18.12
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
picard-tools
2018-09-06 14:22:26 -07:00
Profpatsch
3e45b61a99 lib/trivial: add a few examples of usage of assertMsg/assertOneOf 2018-09-06 18:14:27 +02:00
Sebastien Maret
5b58c6ac76 gildas: add alternative url for the source code (#46145)
For each new release, the upstream developers of Gildas move the
source code of the previous release to a different directory. Add this
directory to the list of url to avoid build failure at each new
release.
2018-09-06 15:10:21 +01:00
Renato Garcia
318c9296fa snakemake: add maintainers (#46117) 2018-09-05 21:46:17 +02:00
xeji
bf2a90298a
Merge pull request #46053 from danieldk/mxnet-fixes
pythonPackages.mxnet: fix build
2018-09-05 16:07:56 +02:00
Sebastien Maret
b76cf0b54c gildas: ignore clang warnings for unused command line arguments
See #46044
2018-09-05 12:17:05 +02:00
Daniël de Kok
590ce7d1ae mxnet: fix library dependencies.
- mxnet now builds the open source MKL DNN library. However, this
  was not included with the build.
- mxnet builds its own OpenMP library, even when OpenMP is provided
  by the system. This leads to problems, so remove the included
  OpenMP implementation:

  https://github.com/apache/incubator-mxnet/pull/12160
2018-09-04 20:27:25 +02:00
Sebastien Maret
3bc898035d gildas: fix makefile rule 2018-09-04 16:05:44 +02:00
Vladimír Čunát
1428d00aa4
Merge branch 'master' into staging-next
Hydra: ?compare=1477053
2018-09-04 13:06:45 +02:00
Daniël de Kok
93a5947158 mxnet: 1.1.0 -> 1.2.1 (#46026)
Update and fix the build:

- Perl is a build-time requirement.
- Fix hardcoded /bin/bash invocation.
2018-09-04 11:37:54 +02:00
Ryan Mulligan
7b54a50e97
Merge pull request #45730 from Helkafen/snakemake
snakemake: init at 5.2.2
2018-09-02 07:54:13 -07:00
Frederik Rietdijk
b910b697f6 Merge master into staging 2018-09-02 12:10:33 +02:00
xeji
a3434cf4e5
Merge pull request #45921 from markuskowa/homepages
Cleanup homepage links
2018-09-02 08:39:30 +02:00
Markus Kowalewski
ee54f1f817
plm: remove dead homepage link, mark as broken 2018-09-02 01:46:25 +02:00
Markus Kowalewski
5cf25dded7
symmetrica: update homepage 2018-09-02 01:46:25 +02:00
Markus Kowalewski
c184150a22
jags: update homepage + fix license 2018-09-02 01:46:18 +02:00