JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
244,583 Commits 1 Branch 0 Tags 12 GiB
028e05d8a4
Commit Graph

3763 Commits

Author SHA1 Message Date
Ryan Mulligan
dfd2eeabd6
Merge pull request #69644 from bzizou/obitools 
obitools3: init at 3.0.0-beta14
 2020-09-23 19:04:11 -07:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3 
why3: 1.3.1 -> 1.3.3
 2020-09-23 10:35:57 +03:00
Daniël de Kok
af5b1a9f94
Merge pull request #98427 from jbedo/octopus 
octopus-caller: 0.6.3 -> 0.7.0
 2020-09-23 08:24:10 +02:00
Jon
c7fdc43709
Merge pull request #98283 from risicle/ris-truvari-2.0.2 
truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build
 2020-09-22 23:10:58 -07:00
Robert Scott
fc709e6dfe cvc3: enable for darwin 
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
 2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac cvc3: fix build against bison 3.7 
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
 2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy 
avy: 2017.10.16 -> cav19
 2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
Justin Bedo
4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0 2020-09-22 08:43:04 +10:00
sohalt
40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Robert Scott
ecd5886830 truvari: 1.3.4 -> 2.0.2, fixing build 
seeing it has no tests, use pythonImportsCheck in an attempt to detect
total breakage, even though it's not intended to be used as an importable
module
 2020-09-20 12:25:17 +01:00
Robert Scott
f1d2491057 bwa: include static library and some key headers in output 2020-09-20 12:23:18 +01:00
Gabriel Ebner
efa2089077
Merge pull request #89731 from doronbehar/jdk_rename 2020-09-20 11:07:55 +02:00
Robert Scott
4637721bc1 truvari: fix build 
be less strict about versions
 2020-09-19 20:25:08 -07:00
Gabriel Ebner
67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Gabriel Ebner
1c576d0b37 sage: use jdk8 2020-09-19 14:22:43 +02:00
Hannes Weisbach
9c73e34d18 kicad: remove gettext from buildInputs, add to nativeBuildInputs 
The i18n "library" does not link against gettext. It only requires the
msgfmt utility from gettext, hence gettext should be a nativeBuildInput
 2020-09-17 19:48:50 +02:00
Vladyslav M
9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit 
streamlit: fix build
 2020-09-16 23:45:32 +03:00
Austin Seipp
f1f1396167
Merge pull request #98109 from Pamplemousse/verilator 
verilator: 4.040 -> 4.100
 2020-09-16 14:25:25 -05:00
Pamplemousse
9839c0b292 verilator: 4.040 -> 4.100 
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
 2020-09-16 08:40:01 -07:00
Anderson Torres
811709ff94
Merge pull request #95734 from trepetti/flatcam 
flatcam: init at 8.5
 2020-09-15 23:17:59 -03:00
Jonathan Ringer
07660b28bc streamlit: fix build 2020-09-15 11:19:26 -07:00
Vincent Laporte
cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Sébastien Maret
234b39a6d4
gildas: 20200601_b -> 20200901_a (#97968) 2020-09-14 11:18:06 -04:00
Robert Scott
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve 
lp_solve: fix build
 2020-09-13 11:00:26 +01:00
freezeboy
3fc3fd14cf lp_solve: fix buildCommand some binaries moved 2020-09-13 03:51:51 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Maximilian Bosch
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update 
maintainers: updates for badi/badmutex
 2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Cole Helbling
339f6248f6
verilog: unstable-2019-08-01 -> unstable-2020-08-24 
The build would previously fail due to a change in bison's behavior (see
5b699c1be7
for more information). Updating to a more recent version fixes this
issue.
 2020-09-09 00:47:52 -07:00
Emery Hemingway
dc09e3edfc nim: wrap compiler for cross-compilation support 2020-09-07 16:16:55 +02:00
Emery Hemingway
06ac3c1d2a nim: patch to fix dynamic library loading 2020-09-07 16:16:55 +02:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
Vladimír Čunát
0ecc8b9a56
Merge #97229: picard-tools: 2.23.3 -> 2.23.4 2020-09-07 09:38:34 +02:00
R. RyanTM
1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Daniël de Kok
193a6a2307
Merge pull request #97243 from r-ryantm/auto-update/rink 
rink: 0.5.0 -> 0.5.1
 2020-09-06 10:52:28 +02:00
Ryan Mulligan
6748689238
Merge pull request #97251 from r-ryantm/auto-update/star 
star: 2.7.4a -> 2.7.5c
 2020-09-05 19:28:47 -07:00
R. RyanTM
cc797c4ab8 star: 2.7.4a -> 2.7.5c 2020-09-05 18:44:51 +00:00
R. RyanTM
f47530237d rink: 0.5.0 -> 0.5.1 2020-09-05 16:48:17 +00:00
R. RyanTM
1c368b0f13 picard-tools: 2.23.3 -> 2.23.4 2020-09-05 14:02:32 +00:00
voidless
721da4b5e2 geogebra6: 6-0-598-0 -> 6-0-600-0 2020-09-04 11:49:44 +02:00
Tom Repetti
10e5003d20 flatcam: init at 8.5 2020-09-03 14:19:59 -04:00
John Ericson
1965a241fc
Merge pull request #61019 from volth/gcc.arch-amd 
platform.gcc.arch: support for AMD CPUs
 2020-09-01 22:31:16 -04:00
R. RyanTM
71d933e214 openhantek6022: 3.1.1 -> 3.1.2 2020-08-31 17:24:28 -07:00
worldofpeace
20252b3cb6 nasc: typo 2020-08-31 13:53:25 -04:00
worldofpeace
32a9e0eea7 nasc: 0.5.4 -> 0.7.5 
* updates to meson build system
* adapt to complications around libqalculate
* update metadata
* add update script
 2020-08-31 13:50:43 -04:00
R. RyanTM
43114a1751 wxmaxima: 20.04.0 -> 20.06.6 2020-08-31 17:09:33 +02:00
R. RyanTM
73cff3d2c2 R: 4.0.0 -> 4.0.2 2020-08-31 16:57:06 +02:00
Mario Rodas
f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Maximilian Bosch
577b654415
Merge pull request #96584 from r-ryantm/auto-update/rofi-calc 
rofi-calc: 1.7 -> 1.8
 2020-08-29 18:42:32 +02:00