mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 11:32:03 +00:00
Code Issues Wiki Activity
236450 commits 204 branches 125 tags 5.9 GiB
Commit graph

3633 commits

Author SHA1 Message Date
R. RyanTM 202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00: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
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
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
R. RyanTM 46e8ec7927 jmol: 14.31.0 -> 14.31.2 2020-07-09 14:44:34 +00:00
Austin Seipp a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp 63e55fae00
yosys: 2020.06.19 -> 2020.07.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
R. RyanTM 6e3fd6892c gtkwave: 3.3.104 -> 3.3.105 2020-07-09 10:06:28 +00:00
Jörg Thalheim 141f9ce807
cryptominisat: 5.7.1 -> 5.8.0 (#92681) 
Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
 2020-07-09 08:24:55 +01:00
Jörg Thalheim 223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
Daniël de Kok 26d250d4b3
Merge pull request #92738 from r-ryantm/auto-update/yacas 
yacas: 1.8.0 -> 1.9.1
 2020-07-09 09:02:26 +02:00
R. RyanTM d27df249ee yacas: 1.8.0 -> 1.9.1 2020-07-08 18:25:49 +00:00
R. RyanTM 3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM 02fe1ec6ec gwyddion: 2.55 -> 2.56 2020-07-07 10:11:50 -07:00
R. RyanTM e6113be804 seaview: 5.0.2 -> 5.0.4 2020-07-07 13:30:35 +00:00
Benjamin Hipple 0f94e2413d
Merge pull request #91071 from bcdarwin/minc-tools-build-nifti-tools 
minc-tools: actually build Nifti support
 2020-07-06 17:45:48 -04:00
Ben Darwin 28becad9be minc-tools: actually build Nifti support 2020-07-06 11:09:33 -04:00
Benjamin Hipple 4f4e0477b7
Merge pull request #90320 from wucke13/apmplanner-2 
apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1
 2020-07-05 20:23:52 -04:00