JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
360,355 Commits 2 Branches 0 Tags 12 GiB
b0e141e3fe
Commit Graph

5700 Commits

Author SHA1 Message Date
Sandro
529b89d755
Merge pull request #161434 from collares/lean-3.40.0 2022-03-12 23:43:20 +01:00
Sandro
8057801ad7
Merge pull request #163849 from fedeinthemix/add-xschem-2 2022-03-12 22:32:08 +01:00
R. Ryantm
29d7a27d9f opensmt: 2.2.0 -> 2.3.0 2022-03-12 17:44:51 +00:00
Federico Beffa
5d702c6b23 gaw: init at version 20200922 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2022-03-12 17:50:10 +01:00
Federico Beffa
a40de4b146 xschem: init at version 3.0.0 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2022-03-12 17:49:48 +01:00
Renaud
28721c55c5
Merge pull request #160342 from Luflosi/update/yosys 
yosys: 0.12+54 -> 0.15
 2022-03-11 18:15:51 +01:00
Mauricio Collares
bab25a7a3a lean: 3.40.0 -> 3.41.0 2022-03-11 11:40:27 -03:00
Luflosi
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04 2022-03-08 18:28:13 +01:00
R. Ryantm
e0c3da7946 jmol: 14.32.28 -> 14.32.30 2022-03-08 16:34:40 +00:00
R. Ryantm
f3288c60f0 marvin: 22.3.0 -> 22.7.0 2022-03-06 07:45:27 +00:00
Bobby Rong
cf7e4cac05
Merge pull request #161194 from wucke13/mission-planner 
mission-planner: 1.3.74 -> 1.3.76
 2022-03-06 13:28:50 +08:00
Dmitry Kalinkin
149d68268d
root: fix ROOTConfig.cmake.in patching 2022-03-04 21:04:19 -05:00
7c6f434c
d5058ae9e5
Merge pull request #162688 from r-ryantm/auto-update/jmol 
jmol: 14.32.24 -> 14.32.28
 2022-03-04 20:43:10 +00:00
Bruno Bzeznik
7d62054650 angsd: init at 0.937 2022-03-04 09:17:35 -06:00
Matthew Wakefield
e85b65f986
minimap2: enable aarch64 builds (#161169) 
Co-authored-by: Bobby Rong <rjl931189261@126.com>
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2022-03-04 12:27:29 +01:00
R. Ryantm
f5258a7d12 jmol: 14.32.24 -> 14.32.28 2022-03-03 23:44:55 +00:00
Justin Bedo
89eff15f31
last: 1260 -> 1268 2022-03-02 13:35:56 +11:00
Gabriel Ebner
8934eb7c91
Merge pull request #157843 from jvanbruegge/isabelle_setup 
isabelle: Rebuild isabelle_setup.jar
 2022-03-01 12:11:25 +01:00
Sandro
b7ec0afb59
Merge pull request #162205 from Stunkymonkey/treewide-vVersion 2022-02-28 14:26:16 +01:00
Felix Buehler
1573dbdcd0 treewide: fix versions starting with 'v' 2022-02-28 13:05:18 +01:00
Felix Buehler
fe7678ca81 raxml-mpi: remove appendToName to have a consistent package name for repology 2022-02-28 12:46:15 +01:00
Felix Buehler
13dca33cdc neuron-mpi: remove appendToName to have a consistent package name for repology 2022-02-28 12:46:15 +01:00
Bobby Rong
f35d1b8568
Merge pull request #160332 from florentc/tlaps 
tlaps: 1.4.3 -> 1.4.5
 2022-02-28 16:33:42 +08:00
Guillaume Girol
b9ecdae495
Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputs 
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
 2022-02-27 19:49:07 +00:00
7c6f434c
da576d8a4a
Merge pull request #161876 from FRidh/sage-python 
Sage: make it possible to extend the Python runtime environment with additional packages
 2022-02-27 19:02:59 +00:00
Vincent Laporte
68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 
coq: Move dune, ocaml and findlib to nativeBuildInputs
 2022-02-26 08:54:53 +01:00
R. Ryantm
21a1125f37 gmsh: 4.9.4 -> 4.9.5 2022-02-25 14:21:11 -08:00
K900
cb2cfba6f7 treewide: switch all desktop file generators to new API 
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
 2022-02-25 13:40:38 -08:00
Frederik Rietdijk
330d9344d2 sage: make it possible not to rebuild sage-tests 
Requiring sage-tests as build input just so it gets build is a bit
unfortunatey but understandable. This commit introduces an option to not
add sage-tests as a dependency. This is preferred in case e.g. Python
packages are added to the environment.
 2022-02-25 21:27:14 +01:00
Frederik Rietdijk
7442533bf1 sage: support adding extra Python packages to environment 
mysage = sage.override { extraPythonPackages = ps: with ps; [ dask ]; };

Note that the sage-tests are executed again as well, which is not very nice.
 2022-02-25 21:18:23 +01:00
R. Ryantm
1e7c64aae1 bcftools: 1.14 -> 1.15 2022-02-25 11:12:05 -08:00
markuskowa
49186d631f
Merge pull request #161635 from r-ryantm/auto-update/jmol 
jmol: 14.32.21 -> 14.32.24
 2022-02-25 13:42:31 +01:00
Ulrik Strid
7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-25 07:54:17 +01:00
Vincent Laporte
056c34167d why3: 1.4.0 → 1.4.1 2022-02-25 06:00:09 +01:00
Justin Bedő
6b477d556d
Merge pull request #161695 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.26.10 -> 2.26.11
 2022-02-25 08:27:23 +11:00
R. Ryantm
d6a24fc108 cwltool: 3.1.20220217222804 -> 3.1.20220221074232 2022-02-24 15:52:49 -05:00
R. Ryantm
ce9d28cc49 picard-tools: 2.26.10 -> 2.26.11 2022-02-24 17:34:18 +00:00
Ulrik Strid
48df7cdbba coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir 2022-02-24 14:39:45 +01:00
Ulrik Strid
a13cdfe520 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
 2022-02-24 14:39:27 +01:00
R. Ryantm
1b8518cadd jmol: 14.32.21 -> 14.32.24 2022-02-24 08:42:12 +00:00
Renaud
65ecaa9903
Merge pull request #150078 from r-ryantm/auto-update/gurobi 
gurobi: 9.1.2 -> 9.5.0
 2022-02-23 22:08:43 +01:00
Markus Kowalewski
469ae42107
gromacs: 2021.5 -> 2022 2022-02-23 14:47:26 +01:00
Renaud
a723c88d4e
Merge pull request #159967 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.5 -> 3.3.6
 2022-02-23 13:30:39 +01:00
Renaud
359d63179e
Merge pull request #160360 from r-ryantm/auto-update/qalculate-gtk 
qalculate-gtk: 3.22.0 -> 4.0.0
 2022-02-23 08:30:49 +01:00
Mauricio Collares
4ba9b2d198 lean: 3.39.2 -> 3.40.0 2022-02-22 21:02:08 -03:00
Bobby Rong
93883402a4
Merge pull request #160594 from Cogitri/bada-bib 
bada-bib: 0.4.1 -> 0.5.1
 2022-02-22 12:10:40 +08:00
Wanja Zaeske
2d67cc2bf6 removing maintainer wucke13 from some packages 2022-02-21 22:58:18 +01:00
ajs124
55bf481a21
Merge pull request #159212 from helsinki-systems/init/febio-studio 
febio-studio: init at 1.6.1
 2022-02-21 17:24:33 +01:00
Scriptkiddi
4e60a4823b febio-studio: init at 1.6.1 2022-02-21 16:43:36 +01:00
Rasmus Thomsen
87c1d9f92c
bada-bib: 0.4.1 -> 0.5.1 2022-02-21 16:33:50 +01:00