mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 13:41:26 +00:00
Code Issues Wiki Activity
245041 commits 329 branches 124 tags 6.7 GiB
Commit graph

3769 commits

Author SHA1 Message Date
Jan Tojnar d471c5d1f3
Merge branch 'staging-next' into staging 2020-09-24 23:09:00 +02:00
R. RyanTM 0765b507f9 jmol: 14.31.2 -> 14.31.3 2020-09-23 23:36:41 -07:00
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
WORLDofPEACE 34aaac6d7c Merge branch 'staging-next' into staging 2020-09-20 18:41:15 -04: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
Vladimír Čunát e78b52ede7
Merge #95089: glibc: 2.31 -> 2.32 (into staging) 2020-09-13 08:26:14 +02:00
freezeboy 3fc3fd14cf lp_solve: fix buildCommand some binaries moved 2020-09-13 03:51:51 +02:00
Maximilian Bosch 81cf190882
sherpa: fix build w/glibc-2.32 2020-09-12 23:04:48 +02:00
Maximilian Bosch 8984fc2994
xfitter: fix build w/glibc-2.32 2020-09-12 23:04:47 +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