MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 15:22:59 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
198903 commits 251 branches 124 tags 6.1 GiB
Commit graph

3020 commits

Author SHA1 Message Date
Vincent Laporte
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1 2019-10-25 07:58:47 +00:00
Vincent Laporte
d56582eb2b coq_8_10: enable CoqIDE 2019-10-25 07:58:02 +00:00
scalavision
535a7006ea truvari: init at 1.3.2 (#70877) 
pythonPackages.pyvcf: init at 0.6.8
 2019-10-24 17:06:42 -04:00
R. RyanTM
c6af1f6e03 verilator: 4.018 -> 4.020 
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-10-24 14:02:00 -05:00
R. RyanTM
c300055e11 ott: 0.28 -> 0.29 
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
 2019-10-23 11:44:13 -07:00
R. RyanTM
b8acb48b24 picard-tools: 2.20.8 -> 2.21.1 (#71748) 
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-10-23 09:34:40 +02:00
R. RyanTM
a9551de99a dcm2niix: 1.0.20190410 -> 1.0.20190902 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/dcm2niix/versions
 2019-10-22 16:31:19 -07:00
Timo Kaufmann
ed145e8f22
Merge pull request #71694 from r-ryantm/auto-update/nauty 
nauty: 26r11 -> 26r12
 2019-10-22 23:33:48 +02:00
R. RyanTM
d93659ffa0 nauty: 26r11 -> 26r12 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/nauty/versions
 2019-10-22 10:14:36 -07:00
R. RyanTM
dbab6b7994 jmol: 14.29.53 -> 14.29.54 
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-10-22 10:06:52 +02:00
Mario Rodas
e8e1f42499
Merge pull request #71590 from r-ryantm/auto-update/ginac 
ginac: 1.7.7 -> 1.7.8
 2019-10-21 20:21:31 -05:00
R. RyanTM
bf30d5d6f6 ginac: 1.7.7 -> 1.7.8 
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-10-21 15:21:33 -07:00
Michael Raskin
a35022aa80
Merge pull request #71566 from r-ryantm/auto-update/golly 
golly: 3.2 -> 3.3
 2019-10-21 19:41:50 +00:00
R. RyanTM
b73b9399ba golly: 3.2 -> 3.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/golly/versions
 2019-10-21 11:24:52 -07:00
Renaud
410d794f05
Merge pull request #71073 from nyanloutre/betaflight_configurator_10_6_0 
betaflight-configurator: 10.5.1 -> 10.6.0
 2019-10-20 20:01:00 +02:00
Ben Wolsieffer
8d04355d87 qgroundcontrol: 3.3.0 -> 3.5.5, fix build (#71308) 
* qgroundcontrol: 3.3.0 -> 3.5.4, fix build

* qgroundcontrol: 3.5.4 -> 3.5.5
 2019-10-20 19:27:23 +02:00
Emily
fecfbe18bd symbiyosys: 2019.08.13 -> 2019.10.11 2019-10-19 12:26:49 -05:00
Daniel Frank
b4136a8f5b kicad: 5.1.2 -> 5.1.4, fix ngspice, mark broken on aarch64 (#69584) 2019-10-16 02:02:49 -04:00
Vincent Laporte
b4db381443 coq_8_10: 8.10+β3 → 8.10.0 
coqPackages.coq-elpi: master → 1.1.0
 2019-10-16 02:43:46 +00:00
Vincent Laporte
0cc70b5697 coq: do not build CoqIDE for Coq 8.10 
GTK3 at version 3.24.11 has broken pkg-config files
 2019-10-16 02:43:46 +00:00
Vincent Laporte
1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte
325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
worldofpeace
4bcef38f24
Merge pull request #63827 from acairncross/fix-monosat 
monosat: Fix Linux build
 2019-10-15 20:55:28 +00:00
Aiken Cairncross
15dbd8de7c monosat: 60528a3 -> 1.8.0 
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
 2019-10-15 16:52:25 -04:00
Aiken Cairncross
b4da391ade monosat: Add self as maintainer 2019-10-15 12:20:55 +01:00
Millian Poquet
5b9cbeb75c simgrid: 3.23 -> 3.24 2019-10-14 16:08:43 +02:00
Renaud
e6f99fa3b1
Merge pull request #69961 from r-ryantm/auto-update/star 
star: 2.7.1a -> 2.7.2b
 2019-10-13 17:10:23 +02:00
nyanloutre
d849c213ba
betaflight-configurator: 10.5.1 -> 10.6.0 2019-10-13 11:58:00 +02:00
Renaud
94500c93dc
Merge pull request #69515 from r-ryantm/auto-update/eagle 
eagle: 9.4.2 -> 9.5.0
 2019-10-12 15:09:07 +02:00
Renaud
a12f3ebee7
Merge pull request #69488 from r-ryantm/auto-update/clp 
clp: 1.17.2 -> 1.17.3
 2019-10-12 14:15:31 +02:00
scalavision
3d860972ee delly: init at 0.8.1 (#70871) 2019-10-10 22:08:45 -04:00
worldofpeace
dfe338e464
Merge pull request #70890 from worldofpeace/pantheon-no-lts-vala 
pantheon: use latest vala
 2019-10-10 15:18:38 +00:00
Marek Mahut
19610dce34
Merge pull request #70790 from r-ryantm/auto-update/stellarium 
stellarium: 0.19.1 -> 0.19.2
 2019-10-10 11:21:55 +02:00
worldofpeace
bdb851ee2d pantheon: use latest vala 
elementary OS's ecosystem is curated around Ubuntu's LTS releases.
This means the development platform for their curated applications
always includes a LTS version of vala (in 18.04 it's 0.40).
Because of how vala development works it suspect some of these
applications to have serious issues if complied with the latest vala.
However in the past year or so, for Pantheon at least, I don't think
their applications will have much issues with latest vala, and if there
is I don't think they'd be difficult to fix. In this single regard they've
become more responsive since their preferred language is vala.

As for the curated applications I have less of this confidence in.
So I'd have to be accept less applications, but that's something
I'm willing to compromise on. And this is easily reversible or
could be done on a per-application basis. And nix already makes
this trivial.
 2019-10-09 22:47:37 -04:00
Robin Gloster
d6d4a6b456
Merge pull request #70845 from BenBals/master 
Geogebra: 5.0.535 -> 5.0.560
 2019-10-09 17:36:35 +02:00
Luz
ec13398cdf librepcb: 0.1.0 -> 0.1.2 (#70538) 
* Update to new source

* Fix message 'xcb plugin not found'
 2019-10-09 14:59:48 +02:00
Ben Justus Bals
911d5d59ec
Geogebra: 5.0.535 -> 5.0.560 2019-10-09 11:59:46 +02:00
Marco Maggesi
bf56c15695
hol_light: 2019-03-27 -> 2019-10-06 2019-10-09 06:13:48 +00:00
R. RyanTM
a174411c3c stellarium: 0.19.1 -> 0.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/stellarium/versions
 2019-10-08 14:17:20 -07:00
Linus Heckemann
5aa4b19946 treewide: mark some broken packages as broken 
Refs:
e675498026
1e9cc5b984
793a2fe1e8
c19cf65261
f6544d618f
 2019-10-08 17:14:26 +02:00
R. RyanTM
9ac905e03f gtkwave: 3.3.101 -> 3.3.102 
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
 2019-10-07 12:18:42 -05:00
markuskowa
86d97bb02c
Merge pull request #70602 from r-ryantm/auto-update/gromacs 
gromacs: 2019.3 -> 2019.4
 2019-10-07 14:43:39 +02:00
Markus Kowalewski
ea45dc1053
gromacs: add perl to buildInputs 2019-10-07 13:03:13 +02:00
R. RyanTM
8c6ee4fe16 gromacs: 2019.3 -> 2019.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/gromacs/versions
 2019-10-07 02:48:46 -07:00
Dmitry Kalinkin
cfd881dce0
Merge pull request #70161 from smaret/gildas-20191001_a 
gildas: 20190901_a -> 20191001_a
 2019-10-06 17:46:41 -04:00
Nikolay Amiantov
de171ba0c6 cntk: partially unbreak 
* Use GCC 7 to unbreak the build;
* Mark CUDA build as broken due to cub incompatibility.
 2019-10-05 16:18:20 +03:00
Orivej Desh
3dc70841d3 cbc: 2.10.2 -> 2.10.3 2019-10-04 05:17:48 +00:00
Bruno Bzeznik
1ba3f3f00f SPAdes: init at 3.13.1 (#63082) 2019-10-03 09:18:48 +00:00
R. RyanTM
eca416c469 verilator: 4.016 -> 4.018 
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-10-01 21:09:12 -05:00
Sébastien Maret
b444b2e956
gildas: 20190901_a -> 20191001_a 2019-10-01 10:52:50 +02:00