JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
237,620 Commits 2 Branches 0 Tags 12 GiB
416b44da64
Commit Graph

3648 Commits

Author SHA1 Message Date
Vincent Laporte
b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Markus Kowalewski
6c2f1e7f6b
octopus: 9.2 -> 10.0 2020-08-07 12:53:54 +02:00
Brandon Black
bceadafba3
fritzing: use Qt's mkDerivation (#89117) 2020-08-06 23:24:25 +02:00
Matt Huszagh
4390d9b9f1 hyp2mat: init at 0.0.17 2020-08-06 10:22:06 -07:00
Matt Huszagh
e74a6bcc20 csxcad: init at unstable-2020-02-08 2020-08-05 19:27:28 -07:00
Daniël de Kok
d65ff81450
Merge pull request #93954 from danieldk/finalfusion-utils 
finalfusion-utils: init at 0.11.2
 2020-08-05 13:03:18 +02:00
Vincent Laporte
390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
Ryan Mulligan
393d3338f9
Merge pull request #94545 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.1 -> 2.23.3
 2020-08-02 15:23:56 -07:00
R. RyanTM
44181da7b7 picard-tools: 2.23.1 -> 2.23.3 2020-08-02 10:04:36 +00:00
R. RyanTM
7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover 
eprover: 2.4 -> 2.5
 2020-08-01 11:12:37 +02:00
John Ericson
ef81828143
Merge pull request #94047 from kmicklas/fix-gplates 
gplates: 2.0.0 -> 2.2.0, unbreak
 2020-07-31 19:57:01 -04:00
R. RyanTM
202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461 why3: 1.2.1 -> 1.3.1 
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
 2020-07-30 23:05:08 +02:00
Dmitry Kudriavtsev
345949594f maintainers: update name to anna 2020-07-28 19:48:16 -07:00
Mario Rodas
703b8ef3f3
Merge pull request #94091 from r-ryantm/auto-update/hmmer 
hmmer: 3.3 -> 3.3.1
 2020-07-28 14:04:04 -05:00
Mario Rodas
552a1f9278
itsx: enable on darwin 2020-07-28 13:48:55 -05:00
Mario Rodas
b7c9ca336f
hmmer: enable on darwin 2020-07-28 13:47:34 -05:00
R. RyanTM
58e7ed9d56 hmmer: 3.3 -> 3.3.1 2020-07-28 16:39:23 +00:00
Ken Micklas
7ae6e51bd4 gplates: 2.0.0 -> 2.2.0, unbreak 2020-07-27 20:54:18 -04:00
Daniël de Kok
655d902909 finalfrontier: 0.9.3 -> 0.9.4 
Changelog:
https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4
 2020-07-27 11:02:09 +02:00
Daniël de Kok
2e97f552fd finalfusion-utils: init at 0.11.2 2020-07-27 10:00:47 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump 
drat-trim: 2017-08-31 -> 2020-06-05
 2020-07-26 22:50:14 +03:00
Daniël de Kok
0f9afb2716
Merge pull request #92253 from danieldk/finalfrontier 
finalfrontier: init at 0.9.3
 2020-07-26 08:34:49 +02:00
Peter Simons
b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4 
Ping @schmitthenner.
 2020-07-24 13:06:29 +02:00
Maximilian Bosch
a83e2e3662
Merge pull request #93742 from Xitian9/geogebra 
geogebra: 5-0-574-0 -> 5-0-593-0
 2020-07-24 11:34:38 +02:00
Evils
b6863cbfe7 kicad: fix build 
disable scripting support as 92261 broke wxPython_4_0
  and i haven't managed to get wxPython 4.1 to work

something caused makeWrapper to have to be added on its own
  not sure where it came from before...

and some cleanup
 2020-07-24 03:26:00 -04:00
Evils
e842233678 kicad-unstable: 2020-05-14 -> 2020-07-21 2020-07-24 03:26:00 -04:00
Stephen Morgan
d9e6338fec geogebra: 5-0-574-0 -> 5-0-593-0 2020-07-24 15:11:42 +10:00
Daniël de Kok
4dd9423b05 finalfrontier: init at 0.9.3 2020-07-23 10:05:33 +02:00
Robert Scott
fd5c0b94b2
Merge pull request #76960 from risicle/ris-hal-hardware-analyzer 
hal-hardware-analyzer: init at 2.0.0
 2020-07-21 22:08:05 +01:00
Daniël de Kok
622150e873
Merge pull request #93429 from danieldk/sortmerna-4.2.0 
sortmerna: 3.0.3 -> 4.2.0
 2020-07-21 09:34:01 +02:00
Robert Scott
d2d921b763 hal-hardware-analyzer: init at 2.0.0 2020-07-20 22:35:00 +01:00
Daniël de Kok
5bb161af08
Merge pull request #93351 from alyssais/gfan 
gfan: fix clang build on non-Darwin
 2020-07-19 10:23:13 +02:00
Daniël de Kok
dee4befc78
Merge pull request #93406 from lsix/add-gnu-gama 
gama: init at 2.09
 2020-07-19 08:49:37 +02:00
Lancelot SIX
9eccd6417a
gama: init at 2.09 2020-07-18 18:58:22 +01:00
Gabriel Ebner
3ffc16a834
Merge pull request #93375 from MrChico/cvc4_1.8 
cvc4: 1.6 -> 1.8
 2020-07-18 18:48:12 +02:00
Daniël de Kok
56c841393a sortmerna: 3.0.3 -> 4.2.0 
- Fixes build against rocksdb 6.10.2
- Use dynamic rocksdb and zlib libraries
- Build a dynamic binary
 2020-07-18 18:06:23 +02:00
Martin Lundfall
424936ed33 cvc4: 1.6 -> 1.8 
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
 2020-07-18 17:48:10 +02:00
Vladyslav M
2076487221
rink: 0.4.5 -> 0.5.0 2020-07-18 13:30:05 +03:00
Keshav Kini
b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Alyssa Ross
8f5eaa6deb
gfan: fix clang build on non-Darwin 
-fno-guess-branch-probability isn't a Darwin-specific thing, it's a
clang-specific thing.
 2020-07-17 15:30:24 +00:00
Ryan Mulligan
891e3cb973
Merge pull request #92575 from r-ryantm/auto-update/seaview 
seaview: 5.0.2 -> 5.0.4
 2020-07-15 21:23:13 -07:00
markuskowa
7204d9aa36
Merge pull request #93042 from r-ryantm/auto-update/gromacs 
gromacs: 2020.2 -> 2020.3
 2020-07-13 13:52:28 +02:00
R. RyanTM
215011c44d gromacs: 2020.2 -> 2020.3 2020-07-13 07:11:49 +00:00
Daniël de Kok
a36e044be2
Merge pull request #92957 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.0.8 -> 4.0.9
 2020-07-12 07:37:29 +02:00
Ben Wolsieffer
060c1ef6a5 qgroundcontrol: 4.0.8 -> 4.0.9 2020-07-11 15:27:23 -04:00
Florian Klink
785b558e66
Merge pull request #92781 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.104 -> 3.3.105
 2020-07-11 13:57:57 +02:00
Timo Kaufmann
9aab32b51c
Merge pull request #92796 from r-ryantm/auto-update/jmol 
jmol: 14.31.0 -> 14.31.2
 2020-07-09 18:43:50 +02:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 10:33:09 -05:00