JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
258,910 Commits 2 Branches 0 Tags 13 GiB
94bee10904
Commit Graph

4020 Commits

Author SHA1 Message Date
Vincent Laporte
66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte
b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte
c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte
de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Mario Rodas
7666fb25d0
Merge pull request #106856 from jbedo/delly 
delly: 0.8.5 -> 0.8.6
 2020-12-14 08:10:03 -05:00
Ryan Mulligan
41cdb14aac
Merge pull request #106611 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.8 -> 2.23.9
 2020-12-13 15:28:16 -08:00
Justin Bedo
6ce06dccfc
delly: 0.8.5 -> 0.8.6 2020-12-14 09:55:57 +11:00
Robert Scott
d81a6bb6f2 hal-hardware-analyzer: 2.0.0 -> 3.1.9 2020-12-11 22:37:04 +00:00
Mario Rodas
8006772a05
Merge pull request #106612 from alyssais/cedille 
cedille: 1.1.1 -> 1.1.2; fix build
 2020-12-11 07:37:18 -05:00
Jörg Thalheim
a1cacefde5
Merge pull request #106480 from SCOTT-HAMILTON/spdlog 2020-12-11 07:45:06 +00:00
Sandro
f1e3b5160e
Merge pull request #103338 from hjones2199/siril 2020-12-11 07:35:23 +01:00
Hunter Jones
69741a7a48 siril: init at 0.99.6 2020-12-11 00:07:30 -06:00
Alyssa Ross
8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
R. RyanTM
aa2148eb1f picard-tools: 2.23.8 -> 2.23.9 2020-12-10 23:06:36 +00:00
SCOTT-HAMILTON
d98fae8072
Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix 
Co-authored-by: Drew <drewrisinger@users.noreply.github.com>
 2020-12-10 16:35:46 +01:00
SCOTT-HAMILTON
ddf90cb942 spdlog: use nixpkgs' fmt instead of bundled one 2020-12-10 10:47:00 +01:00
markuskowa
ba5c6f6075
Merge pull request #105133 from markuskowa/fix-gromacs 
Gromacs: fix SIMD flags, and OpenMP
 2020-12-08 09:10:38 +01:00
R. RyanTM
cec747d712 clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
Ben Gamari
c98ce627d4
kicad-unstable: 2020-11-07 -> 2020-12-01 (#105743) 2020-12-03 19:17:32 -05:00
R. RyanTM
b3f3197266 mavproxy: 1.8.27 -> 1.8.29 2020-12-03 14:33:38 +00:00
Sandro
30cdc8be48
Merge pull request #105650 from r-ryantm/auto-update/gretl 
gretl: 2020b -> 2020e
 2020-12-02 20:22:27 +01:00
Ryan Mulligan
4ce30eb63a
Merge pull request #105672 from r-ryantm/auto-update/hmmer 
hmmer: 3.3.1 -> 3.3.2
 2020-12-02 05:45:57 -08:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-12-02 07:18:05 -06:00
Mario Rodas
d48bc3e815
Merge pull request #105654 from r-ryantm/auto-update/gmsh 
gmsh: 4.7.0 -> 4.7.1
 2020-12-02 05:15:45 -05:00
Austin Seipp
a3ae8a4fcf
Merge pull request #100750 from arcz/boolector 
boolector: enable darwin build
 2020-12-02 03:19:54 -06:00
R. RyanTM
6f50c5b18e hmmer: 3.3.1 -> 3.3.2 2020-12-02 09:00:15 +00:00
R. RyanTM
cf89444f1e gmsh: 4.7.0 -> 4.7.1 2020-12-02 05:50:47 +00:00
R. RyanTM
f9a694106b gretl: 2020b -> 2020e 2020-12-02 04:45:07 +00:00
Ben Darwin
ee7d83e648 ants: unbreak on Darwin 2020-12-01 14:17:54 -05:00
Markus Kowalewski
e90cff90f1
openmolcas: fix hash 2020-11-30 23:05:14 +01:00
Justin Bedo
5fc6258043
bwa: expand supported platforms 2020-11-30 09:46:51 +11:00
Artur Cygan
da3c0ca0dd boolector: fix darwin build 2020-11-29 22:31:54 +01:00
Artur Cygan
38e6f15d98 btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
Vincent Laporte
8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.6.0 -> 1.7.0
 2020-11-29 04:01:21 +01:00
Sandro
2c0389680c
Merge pull request #90075 from dmrauh/add/gretl 
gretl: init at 2020b
 2020-11-28 22:10:05 +01:00
Dominik Michael Rauh
5f10cd5e0b
gretl: init at 2020b 2020-11-28 21:37:30 +01:00
Doron Behar
56a2c8bb22
Merge pull request #104171 from freezeboy/unbreak-dsview-qt515 
dsview: 0.99 -> 1.12
 2020-11-28 17:55:25 +02:00
Timo Kaufmann
819a2c571a
Merge pull request #105212 from r-ryantm/auto-update/jmol 
jmol: 14.31.17 -> 14.31.18
 2020-11-28 10:46:52 +01:00
R. RyanTM
e5f757954a jmol: 14.31.17 -> 14.31.18 2020-11-28 06:51:19 +00:00
Sandro
85fe68bbc0
Merge pull request #105197 from r-ryantm/auto-update/igv 
igv: 2.8.12 -> 2.8.13
 2020-11-28 04:05:05 +01:00
R. RyanTM
212ba486d6 igv: 2.8.12 -> 2.8.13 2020-11-28 02:18:00 +00:00
Sandro
ec421ca248
Merge pull request #100532 from piegamesde/fix-desktopitems 
treewide: Fix broken desktop files and mark packages as broken
 2020-11-27 22:27:59 +01:00
Markus Kowalewski
58e1666a58
gromacs: fix SIMD flags, and OpenMP 
* make CPU acceleration selectable.
* update cmake flag for acceleration CPU_ACCELERATION -> SIMD
  GMX_CPU_ACCELERATION is outdated and has been ignored.
* add hwloc to inputs
* always build with OpenMP
* change name -> pname
 2020-11-27 13:59:01 +01:00
Michael Raskin
3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
Sandro
41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.1 -> 3.3.2
 2020-11-27 03:12:56 +01:00
R. RyanTM
b25018203b workcraft: 3.3.1 -> 3.3.2 2020-11-27 01:53:34 +00:00
Sandro
6ecdb286b0
Merge pull request #101464 from Synthetica9/redirected-urls 
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
 2020-11-27 01:27:24 +01:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Sandro
b08b773f24
Merge pull request #101807 from cheriimoya/pspp 
pspp 1.2.0 -> 1.4.1
 2020-11-27 00:35:16 +01:00