nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 03:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
138,463 Commits 197 Branches 125 Tags 5.9 GiB
6c5d860c8b
Commit Graph

1746 Commits

Author SHA1 Message Date
Jörg Thalheim
838db3b85d
Merge pull request #39529 from r-ryantm/auto-update/ott 
ott: 0.27 -> 0.28
 2018-04-26 09:14:36 +01:00
R. RyanTM
769093b867 ott: 0.27 -> 0.28 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/ott/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott --help’ got 0 exit code
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott.opt --help’ got 0 exit code
- found 0.28 with grep in /nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28
- directory tree listing: https://gist.github.com/177f63b8c23bae6301ced29fb0e617c4
 2018-04-26 00:52:29 -07:00
Michiel Derhaeg
189a4f3656 verifast: 14.5 -> 18.02 (#39480) 2018-04-25 22:54:57 +01:00
Jörg Thalheim
18da50d8d3
Merge pull request #39503 from veprbl/pr/sacrifice_darwin_fix 
sacrifice: fix runtime on darwin
 2018-04-25 22:22:19 +01:00
Dmitry Kalinkin
c1f45f76ad
sacrifice: fix runtime on darwin 2018-04-25 14:58:23 -04:00
Lancelot SIX
8d58b1a0a0
Merge pull request #39360 from lsix/update_motu 
motuclient: 1.4.00 -> 1.5.00
 2018-04-25 11:46:19 +02:00
Michael Raskin
1f909a8dfc
Merge pull request #39403 from timokau/maxima-exl-testfailures-2 
maxima-ecl: Disable more failing tests
 2018-04-24 15:44:04 +00:00
Matthew Justin Bauer
d57e6466e0
Merge pull request #39377 from timokau/pari-pthread 
pari: Make pthread optional, remove unstable
 2018-04-24 10:03:01 -05:00
Timo Kaufmann
396b5d9c65 maxima-ecl: Disable more failing tests 2018-04-24 13:38:44 +02:00
Timo Kaufmann
75b0866d0c pari: Make pthread optional, remove unstable 2018-04-24 12:54:59 +02:00
Michael Raskin
bc6f7a9ccf
Merge pull request #39370 from timokau/singular-ntl 
singular: Fix ntl dependency
 2018-04-24 10:54:23 +00:00
Timo Kaufmann
ba389086de singular: Fix ntl dependency 2018-04-24 12:04:28 +02:00
Timo Kaufmann
b707c91814 maxima-ecl: Disable failing tests 2018-04-24 11:16:55 +02:00
Peter Simons
6799fcb42b R: 3.4.4 -> 3.5.0 
Unfortunately, the new version fails its test suite AGAIN when the recommended
packages are not build. Makes one wonder whether maybe we should offer the R
developers CI builds that check this. I've reported the issue upstream, let's
see what happens.
 2018-04-24 09:19:13 +02:00
Matthew Justin Bauer
a02d6c99af
Merge pull request #34014 from mnacamura/mathematica-l10n 
mathematica: enable installation of localized editions
 2018-04-23 11:58:34 -05:00
Lancelot SIX
9b5793790e
motuclient: 1.4.00 -> 1.5.00 2018-04-23 10:50:45 +02:00
Jörg Thalheim
c7d278ad07
Merge pull request #39351 from matthewbauer/calc-on-darwin 
calc: cleanup expression
 2018-04-23 08:07:13 +01:00
Matthew Bauer
63507ada7d calc: cleanup expression 
Fixes #39321

(Still needs testing on Linux)
 2018-04-22 19:01:25 -05:00
Joachim F
36d58a2cd2
Merge pull request #39332 from markuskowa/octopus-up 
octopus: 7.2 -> 7.3
 2018-04-22 17:47:26 +00:00
Markus Kowalewski
1d0267b2e7
octopus: 7.2 -> 7.3 2018-04-22 08:43:19 -07:00
Timo Kaufmann
b93e1fbbfb jmol: init at 14.29.12 2018-04-21 20:41:21 -05:00
Timo Kaufmann
be0b8f2cf6 palp: init at 2.1 2018-04-21 20:40:59 -05:00
Timo Kaufmann
7dc6b2e3c3 pynac: init at 0.7.19 2018-04-21 20:40:22 -05:00
Jörg Thalheim
f7785dd61c
Merge branch 'master' into minc_ecosystem 2018-04-21 20:18:27 +01:00
Jörg Thalheim
39e94277ba
Merge pull request #39197 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.1 -> 2.18.2
 2018-04-21 19:21:15 +01:00
Matthew Justin Bauer
0d8e415d6b
Merge pull request #38969 from vbgl/coq-findlib 
coq: fix installation of OCaml libraries
 2018-04-20 18:02:52 -05:00
R. RyanTM
7d22bbe671 picard-tools: 2.18.1 -> 2.18.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.

These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.18.2 with grep in /nix/store/sp6gc6c6knpvpsmfdx8074qclcsgs931-picard-tools-2.18.2
- directory tree listing: https://gist.github.com/114857d15222eccda94501b5a871fb24
 2018-04-20 00:44:45 -07:00
xeji
b3d50c7afa shogun: disable paralllel building 
... to avoid sporadic failures
 2018-04-19 12:27:00 -05:00
Matthew Justin Bauer
1bb28f26e8
Merge pull request #38810 from timokau/giac-improvements 
giac: enable checks, separate outputs
 2018-04-19 12:03:53 -05:00
Timo Kaufmann
ddb7c0e930 lrcalc: init at 1.2 (#38755) 2018-04-19 08:42:06 +02:00
Matthew Justin Bauer
853529b2ea
Merge pull request #38740 from r-ryantm/auto-update/cytoscape 
cytoscape: 3.6.0 -> 3.6.1
 2018-04-18 22:20:04 -05:00
Vincent Laporte
76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Matthew Justin Bauer
88098d58f2
Merge pull request #38701 from r-ryantm/auto-update/samtools 
samtools: 1.7 -> 1.8
 2018-04-17 12:03:42 -05:00
Matthew Justin Bauer
1ec5b0389d
Merge pull request #36582 from ryantm/auto-update/gromacs 
gromacs: 4.6.7 -> 2018
 2018-04-17 10:38:06 -05:00
Jörg Thalheim
5dc7a70f65
Merge pull request #38589 from badi/tlatools 
Add TLAPS and TLA+ Toolbox
 2018-04-17 14:51:35 +01:00
Vladimír Čunát
db071c4d1d
Merge #38702: Mark packages as broken (ZHF) 2018-04-17 13:36:20 +02:00
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6 2018-04-16 22:18:47 -04:00
Badi Abdul-Wahid
d14a476054
tlaps: init at 1.4.3 2018-04-16 21:18:42 -04:00
Vincent Laporte
dc4a8435f0
symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Jan Tojnar
cee2c50748
celestia: clean up 2018-04-15 17:21:23 +02:00
Vincent Laporte
caec7dbb9f
coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte
5f97adccdc
coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Gabriel Ebner
9df0c12cde elan: 0.3.0 -> 0.3.2 2018-04-13 09:28:28 +02:00
xeji
6866542751 torchPackages.{sundown,lbase64}: mark as broken 2018-04-12 23:04:04 +02:00
xeji
d63702a473 openmvg: mark as broken 2018-04-12 23:04:02 +02:00
Michael Raskin
783204bdbc
Merge pull request #38768 from timokau/singular-4.1.1 
singular: 3.1.7 -> 4.1.1
 2018-04-12 11:40:06 +00:00
Peter Simons
722d8226f4
Merge pull request #38812 from timokau/maxima-ecl 
maxima: add various fixes, re-add ecl support
 2018-04-12 11:43:15 +02:00
Timo Kaufmann
eb119b045a maxima: add various fixes, re-add ecl support 2018-04-12 00:46:40 +02:00
Timo Kaufmann
32cf225ad9 giac: enable checks, separate outputs 2018-04-11 22:56:21 +02:00
Gabriel Ebner
99ee7fd311 elan: add leanchecker proxy 2018-04-11 19:08:22 +02:00