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
Ryan Mulligan
14965968bd
Merge pull request #60550 from r-ryantm/auto-update/ginac
...
ginac: 1.7.5 -> 1.7.6
2019-04-30 19:27:22 -07:00
R. RyanTM
1d663a6b2e
ginac: 1.7.5 -> 1.7.6
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ginac/versions
2019-04-30 15:56:23 -07:00
Michael Raskin
9d807a768a
Merge pull request #60520 from r-ryantm/auto-update/eprover
...
eprover: 2.2 -> 2.3
2019-04-30 19:16:59 +00:00
R. RyanTM
62cd9ccca4
eprover: 2.2 -> 2.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eprover/versions
2019-04-30 10:05:27 -07:00
Gabriel Ebner
a35df16d5f
kicad: fix #49089 by adding libraries files ( #57452 )
...
kicad: fix #49089 by adding libraries files
2019-04-30 17:38:16 +02:00
volth
5ad79dc4bb
compilation for particular x86_64 architecture
2019-04-30 14:28:04 +00:00
Matthew Bauer
a3990c9f6d
Merge pull request #60447 from matthewbauer/macos-10-12-fixups
...
Fixup from macos-10-12 branch
2019-04-30 10:06:45 -04:00
Frederik Rietdijk
3462fe27d9
Merge staging-next into staging
2019-04-30 15:52:19 +02:00
Matthew Bauer
74c784a79c
treewide: make -Wno-error flags clang-only
...
In 724e833ea2
, I was a little too aggressive in enabling these flags.
Many don’t work in gcc, and we should probably avoid settings them
widely. This makes those flags optional on isclang
2019-04-29 21:34:24 -04:00
Mario Rodas
7a965dcdab
cedille: 1.0.0 -> 1.1.1 ( #60307 )
2019-04-29 21:02:44 +02:00
Timo Kaufmann
6dabc28cd0
sage: add compatibility for R 3.6.0
...
The random number generator seems to have changed. Because of this, a
trivial test adjustment is needed.
2019-04-29 13:37:07 +02:00
Alex Branham
4264ad4c2b
R: 3.5.3 -> 3.6.0
...
The patch is necessary for the test suite to pass without errors. The
fix has already been made upstream but didn't make it into the 3.6.0
release.
Closes https://github.com/NixOS/nixpkgs/pull/60273 .
2019-04-29 13:35:21 +02:00
Bruno Bzeznik
83886b3d91
aragorn: init at 1.2.38 ( #58354 )
2019-04-29 07:18:03 -04:00
Ben
535c38dd73
GeoGebra: 472 -> 535 ( #60272 )
...
* Update GeoGebra
* Update default.nix
2019-04-29 11:25:37 +02:00
Timo Kaufmann
31709b611f
R: add timokau as a maintainer
...
I'm interested in R as a dependency for sage. R changes are likely to
impact sage, so I'd like to get notified on those changes.
2019-04-28 13:20:47 +02:00
Matthew Bauer
87944c3125
Merge pull request #56744 from matthewbauer/macos-10-12
...
Update macOS to 10.12
2019-04-26 22:20:03 -04:00
Matthew Bauer
724e833ea2
treewide: disable -Werror for llvm 7
...
Some of these have errors on newest llvm. It’s easiest to just add
-Wno-error in these cases.
2019-04-26 21:55:04 -04:00
Renaud
5560607988
Merge pull request #59484 from r-ryantm/auto-update/eagle
...
eagle: 9.3.1 -> 9.3.2
2019-04-25 23:32:25 +02:00
Renaud
71c6157fd7
Merge pull request #58534 from bzizou/sumatools.dev
...
sumatools: init at 1.0.34
2019-04-24 22:34:35 +02:00
Renaud
9f26d537e8
Merge pull request #59516 from r-ryantm/auto-update/gmsh
...
gmsh: 4.2.2 -> 4.2.3
2019-04-24 20:40:56 +02:00
worldofpeace
c8c0bd1fea
Merge pull request #51285 from expipiplus1/fped
...
fped: init at unstable-2017-05-11
2019-04-23 06:52:50 -04:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls
...
HTTPS urls
2019-04-22 23:37:07 +02:00
Austin Seipp
b0fea1dc9c
verilog: 2018.12.15 -> 2019.03.27, parallel build
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Daniel Schaefer
bac4d95aa2
treewide: Change URLs to HTTPS
...
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Timo Kaufmann
512097dece
Merge pull request #59921 from timokau/gap-update
...
gap: 4.10.0 -> 4.10.1
2019-04-20 13:17:04 +02:00
R. RyanTM
0dc3184871
picard-tools: 2.18.27 -> 2.19.0 ( #59634 )
...
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-04-20 13:15:40 +02:00
Timo Kaufmann
9c7f774a39
gap: mark as broken on darwin
...
Has been failing to build for a while.
2019-04-20 12:36:11 +02:00
Timo Kaufmann
af6739fdd7
gap: 4.10.0 -> 4.10.1
2019-04-20 09:54:27 +02:00
Aaron Andersen
77dbfa3a55
Merge pull request #53803 from jfrankenau/init-groove
...
groove: init at 5.7.4
2019-04-19 20:27:18 -04:00