MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 23:36:17 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
159363 commits 266 branches 124 tags 6.2 GiB
Commit graph

2212 commits

Author SHA1 Message Date
Ben Darwin
6aa3deeb50 niftyreg: init at 1.3.9 2018-11-16 12:24:53 -05:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc 
solc: 0.4.25 -> 0.5.0
 2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64 
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
 2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00
Gabriel Ebner
b1c149d47a tptp: use urls instead of url 
nix-prefetch-url breaks if the url argument to fetchurl is a list.
 2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6 tptp: 7.1.0 -> 7.2.0 2018-11-15 15:50:48 +01:00
Renaud
650036f022
Merge pull request #50359 from jfrankenau/gurobi-java 
gurobi: install Java library files
 2018-11-15 14:13:47 +01:00
Johannes Frankenau
b4e13e6257 gurobi: install Java library files 2018-11-14 19:38:18 +01:00
Jörg Thalheim
987bd62232
Merge pull request #50232 from wucke13/master 
qgroundcontrol: fixes #49870
 2018-11-14 17:10:05 +00:00
Renaud
7ca9d67948
Merge pull request #50102 from r-ryantm/auto-update/gp2c 
gp2c: 0.0.11 -> 0.0.11pl1
 2018-11-14 16:07:49 +01:00
wucke13
c26b42be74 qgroundcontrol: fixes #49870 
The `.desktop` referenced a non existent script to run `QGroundControl`. This commits adds a `sed` command, which replaces the non existent script by the name of the `QGroundControl` binary in the relevant `.desktop` file.
 2018-11-14 13:12:20 +01:00
markuskowa
f597a88542
Merge pull request #50101 from r-ryantm/auto-update/gmsh 
gmsh: 4.0.2 -> 4.0.4
 2018-11-14 12:46:48 +01:00
Markus Kowalewski
644ab709e7
gmsh: restrict platform to x86_64-linux 2018-11-14 12:33:37 +01:00
Markus Kowalewski
ced40eabfd
gmsh: use openblas instead of atlas/lapack 
* openblas is properly recognized by cmake
* the cmake patch is no longer neccessary
 2018-11-14 11:41:46 +01:00
Matthew Bauer
2e18ba6c5a
Merge pull request #49776 from matthewbauer/atlas-remove 
atlas: remove
 2018-11-13 19:18:35 -06:00
markuskowa
2823b5e698
Merge pull request #46667 from costrouc/costrouc/lammps-update 
lammps: update, hoomd-blue, dl_poly: init
 2018-11-13 21:00:02 +01:00
Markus J. Ankenbrand
bf05da0967 hmmer: 3.1b2 -> 3.2.1 (#50284) 
This version was released in June 2018 and has many bug fixes
and improvements compared to the previous version from 2015.
See: https://cryptogenomicon.org/2018/06/07/hmmer-3-2-release/
 2018-11-13 15:43:44 +01:00
Peter Simons
22a802584f
Merge pull request #50179 from Thra11/r-without-jdk 
R: Remove jdk dependency on aarch32/64
 2018-11-12 12:42:39 +01:00
markuskowa
45a4adb1b3
Merge branch 'master' into atlas-remove 2018-11-11 02:22:04 +01:00
Markus Kowalewski
6533d7588d
colpack: set platform to linux 2018-11-11 02:17:49 +01:00
Tom Hall
b51018ed2e R: Remove jdk dependency on aarch32/64 
Add javaSupport as an argument for R. Default to false on arm as there is no free jdk on arm.
 2018-11-10 20:53:26 +00:00
R. RyanTM
2fd0c31673 calc: 2.12.6.8 -> 2.12.7.1 (#50173) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/calc/versions
 2018-11-10 15:32:06 +01:00
Gabriel Ebner
698ad2dd4d nasc: 0.5.0 -> 0.5.1 2018-11-10 14:18:31 +01:00
Gabriel Ebner
5f2a7607fa qalculate-gtk: 2.6.2 -> 2.8.1 2018-11-10 13:17:17 +01:00
Timo Kaufmann
ea8d794026
Merge pull request #50092 from r-ryantm/auto-update/jmol 
jmol: 14.29.26 -> 14.29.28
 2018-11-10 10:13:35 +01:00
R. RyanTM
37f01d5bf8 igv: 2.4.14 -> 2.4.15 (#50087) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
 2018-11-09 22:42:04 -05:00
R. RyanTM
f5b4eb63f3 gp2c: 0.0.11 -> 0.0.11pl1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gp2c/versions
 2018-11-09 17:56:17 -08:00
R. RyanTM
6f2bb3c275 gmsh: 4.0.2 -> 4.0.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/gmsh/versions
 2018-11-09 17:41:49 -08:00
R. RyanTM
3902a47bed jmol: 14.29.26 -> 14.29.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/jmol/versions
 2018-11-09 16:17:35 -08:00
Jörg Thalheim
c44e7b2e1c
Merge pull request #50024 from r-ryantm/auto-update/ngspice 
ngspice: 28 -> 29
 2018-11-09 14:35:44 +00:00
R. RyanTM
791286efd9 ngspice: 28 -> 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/ngspice/versions
 2018-11-09 06:07:46 -08:00
Renaud
5810df24a7
Merge pull request #49834 from smaret/gildas-update 
gildas: 20181001_b -> 20181101_a
 2018-11-09 10:20:32 +01:00
Matthew Bauer
3dcb8c10f5 shogun: remove liblapack 
not needed anymore
 2018-11-08 14:42:29 -06:00
Gabriel Ebner
155595b0c7 eprover: 2.1 -> 2.2 2018-11-07 22:33:25 +01:00
Matthew Bauer
349f3dfe25 shogun: use openblas 
shogun needs the cblas.h header file to be available. It used to get
it from liblapack, but that is not available anymore. Instead we can
use openblasCompat to get it.
 2018-11-07 13:18:33 -06:00
Timo Kaufmann
efe6322ce4 pythonPackages.networkx: 2.1 -> 2.2 2018-11-07 20:15:37 +01:00
Timo Kaufmann
72e6e792f6 sage: add fetchSageDiff utility function 2018-11-07 20:15:37 +01:00
Sebastien Maret
1048a7349e gildas: 20181001_b -> 20181101_a 2018-11-06 17:00:10 +01:00
Matthew Bauer
95373d3634 atlas: remove 
atlas is broken and can apparently be removed.

Fixes #49594
 2018-11-04 20:23:12 -06:00
Jörg Thalheim
b3ed2b4c18
Merge pull request #49728 from vbgl/acgtk-1.5.0 
acgtk: 1.3.1 -> 1.5.0
 2018-11-04 17:09:34 +00:00
Théo Zimmermann
dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Vincent Laporte
08ac103970
acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00
Renaud
848f2f3d0d
Merge pull request #49559 from ikarulus/librepcb 
bump version librepcb-unstable: 2018-06-28 -> 2018-10-31
 2018-11-03 14:38:39 +01:00
Ikarulus
f5af5b19f4 librepcb-unstable: 2018-06-28 -> 2018-10-31 2018-11-03 13:01:41 +01:00
Kevin Quick
411c665f33
yices: 2.6.0 -> 2.6.1 2018-11-02 15:49:09 -07:00
Jan Tojnar
3493f44727
Merge pull request #49560 from worldofpeace/eos-third-update 
update some elementary thirdparty apps
 2018-11-02 21:29:57 +01:00
worldofpeace
0a2420bccd nasc: 0.4.7 -> 0.5.0 2018-11-02 16:01:05 -04:00
Michael Raskin
722476273c
Merge pull request #49547 from fadenb/simgrid_3.21 
simgrid: 3.20 -> 3.21
 2018-11-02 14:22:47 +00:00
Tristan Helmich (omniIT)
4f8cac02c6 simgrid: 3.20 -> 3.21 2018-11-02 14:23:39 +01:00
ikarulus
7bd8805408 kicad 5.0.0 -> 5.0.1 (#49561) 2018-11-02 10:32:32 +01:00