mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 17:41:12 +00:00
Code Issues Wiki Activity
260528 commits 267 branches 125 tags 5.3 GiB
Commit graph

4045 commits

Author SHA1 Message Date
Jan Tojnar a821be7531
Merge branch 'master' into staging-next 2020-11-05 09:42:47 +01:00
Gabriel Ebner 8279979f38 lean: build olean files 2020-11-04 16:32:56 +01:00
Ryan Mulligan ba3fc8bf47
Merge pull request #102707 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.4 -> 2.23.8
 2020-11-04 06:11:08 -08:00
Frederik Rietdijk 10c57af49c Merge staging-next into staging 2020-11-04 09:28:07 +01:00
R. RyanTM 6391d3c1b5 picard-tools: 2.23.4 -> 2.23.8 2020-11-04 04:53:50 +00:00
Ryan Mulligan 4ee1f7bc2c
Merge pull request #102582 from r-ryantm/auto-update/marvin 
marvin: 20.17.0 -> 20.19.0
 2020-11-03 14:56:38 -08:00
Kevin Cox d7a0daf2a1
Merge pull request #102420 from freezeboy/remove-plink 
plink: remove (broken since 2014)
 2020-11-03 07:49:09 -05:00
Frederik Rietdijk 470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
R. RyanTM aea6594c69 marvin: 20.17.0 -> 20.19.0 2020-11-03 04:38:29 +00:00
Mario Rodas 98bf2ceb68
Merge pull request #102464 from r-ryantm/auto-update/igv 
igv: 2.8.9 -> 2.8.11
 2020-11-02 18:21:36 -05:00
Timo Kaufmann 9560149052
Merge pull request #102479 from r-ryantm/auto-update/jmol 
jmol: 14.31.3 -> 14.31.14
 2020-11-02 19:31:29 +01:00
R. RyanTM ccabae32dd gtkwave: 3.3.106 -> 3.3.107 2020-11-02 08:26:41 -08:00
R. RyanTM 41e1c236bf cytoscape: 3.8.1 -> 3.8.2 2020-11-02 08:20:13 -08:00
R. RyanTM 3d40283367 jmol: 14.31.3 -> 14.31.14 2020-11-02 12:07:07 +00:00
R. RyanTM 8ef46be2a4 igv: 2.8.9 -> 2.8.11 2020-11-02 10:16:32 +00:00
Pavol Rusnak 2c931312ce treewide: simplify rev/repo arguments in src 
+ use fetchFromGithub where possible
 2020-11-01 23:02:24 -08:00
freezeboy 1f7e201e9e plink: remove (broken since 2014) 2020-11-02 03:24:16 +01:00
R. RyanTM 036cec187c ginac: 1.7.9 -> 1.8.0 2020-11-01 17:19:05 -08:00
Frederik Rietdijk 83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
R. RyanTM afa6047e12 gromacs: 2020.3 -> 2020.4 2020-11-01 00:24:33 +00:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib" 
This reverts commit 5d0e2dedd5.
 2020-10-31 09:08:06 +01:00
Justin Bedo 32573f4b6e
last: 1066 -> 1133 2020-10-31 10:59:02 +11:00
Maximilian Bosch 952dc5c7ff
Merge pull request #101421 from sikmir/geogebra 
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
 2020-10-30 23:39:37 +01:00
Renato Alves 6e19ed0a52
lumpy: 0.3.0 -> 0.3.1 2020-10-30 01:28:00 +01:00
Renato Alves a28e5b0a4f
samtools: 1.10 -> 1.11 2020-10-29 18:27:22 +01:00
Andreas Rammhold db0fe5c3eb
Merge branch master into staging to fix eval error 
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05 & eba8f542.
 2020-10-28 03:03:27 +01:00
Ben Siraphob db74029e3e treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
Max Hausch 8fb91897f4
pspp 1.2.0 -> 1.4.1 2020-10-27 01:10:37 +01:00
Masanori Ogino 40fb3ed6dc maxima: remove 5.41.0 
It had been kept for SageMath, but it uses the default version nowadays
and this version is not referenced in nixpkgs.

Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
 2020-10-27 06:09:12 +09:00
Maximilian Bosch 61fa498994
Merge pull request #101646 from luc65r/pkg/rofi-calc 
rofi-calc: 1.8 -> 1.9
 2020-10-26 16:36:43 +01:00
Ryan Mulligan 4fce633319
Merge pull request #101716 from r-ryantm/auto-update/openhantek6022 
openhantek6022: 3.1.2 -> 3.1.3
 2020-10-26 05:43:38 -07:00
Vladimír Čunát 336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
 2020-10-26 08:19:17 +01:00
R. RyanTM 250757970b openhantek6022: 3.1.2 -> 3.1.3 2020-10-26 00:37:51 +00:00
Peter Simons 40bc6c8dad
Merge pull request #100393 from matthiasbeyer/update-r 
R: 4.0.2 -> 4.0.3
 2020-10-25 21:57:03 +01:00
Lucas Ransan 2436e41916 rofi-calc: 1.8 -> 1.9 2020-10-25 14:31:57 +01:00
Vladimír Čunát c778945806
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
I'm sorry; I didn't notice it contained staging commits.

This reverts commit 17f5305b6c, reversing
changes made to a8a018ddc0.
 2020-10-25 09:41:51 +01:00
Vladimír Čunát 17f5305b6c
Merge #101508: libraw: 0.20.0 -> 0.20.2 2020-10-25 09:28:53 +01:00
Nikolay Korotkiy a2472ebfb1
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0 2020-10-23 19:25:11 +03:00
Vincent Laporte 2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Anderson Torres 253fb7648c
Merge pull request #101244 from zaninime/nanovna-saver 
nanovna-saver: init at 0.3.7
 2020-10-22 20:42:56 -03:00
Jan Tojnar 3e01d383ee
Merge branch 'staging-next' into staging 2020-10-22 21:20:32 +02:00
Francesco Zanini 2a54c4f950 nanovna-saver: init at 0.3.7 2020-10-22 16:23:13 +02:00
Daiderd Jordan bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook 
treewide: move fixDarwinDylibNames to nativeBuildInputs
 2020-10-21 19:25:48 +02:00
Théo Zimmermann 5d0e2dedd5 coq: propagate and install ocaml and findlib 
Fix #34657.
 2020-10-21 11:07:02 +02:00
markuskowa 4eb5b1285c
Merge pull request #101065 from markuskowa/fix-molcas 
openmolcas: 19.11 -> 20.10
 2020-10-21 09:37:28 +02:00
Andrew Childs 722d02a720 treewide: move fixDarwinDylibNames to nativeBuildInputs 
This hook runs at build time and depends on executing
install_name_tool from binutils.
 2020-10-21 13:26:53 +09:00
Guanpeng Xu efe94c085b mathematica: use opencv4 
The default opencv2 is marked broken at 5e68d203, and it is suggested
there that the current release is 4.x.
 2020-10-21 08:36:54 +08:00
Austin Seipp fba7eaeb63
Merge pull request #100741 from arcz/btor2tools 
btor2tools: enable unix platforms
 2020-10-19 16:18:56 -05:00
Markus Kowalewski 2eee4e4eac
openmolcas: 19.11 -> 20.10 2020-10-19 14:13:08 +02:00
Markus Kowalewski 8b02ff6b8e
openmolcas: fix build w.r.t. openblas 
Fall out from switching openblas over to multiple outputs:
https://github.com/NixOS/nixpkgs/pull/98337
 2020-10-19 14:00:48 +02:00
Masanori Ogino 096ef94717 gfan: fix build failures with cddlib v0.94l 
It fixes https://github.com/NixOS/nixpkgs/issues/100622.

Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
 2020-10-19 10:29:01 +09:00
Gabriel Ebner 6d22203168
Merge pull request #101010 from r-ryantm/auto-update/lean 
lean: 3.19.0 -> 3.21.0
 2020-10-18 20:10:42 +02:00
R. RyanTM 855b84d8b0 lean: 3.19.0 -> 3.21.0 2020-10-18 17:00:15 +00:00
Doron Behar 1693d00562
Merge pull request #85456 from matthuszagh/kicad-libraries 2020-10-17 20:31:38 +03:00
Ryan Mulligan ed8a50fa13
Merge pull request #100548 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.19 -> 1.8.22
 2020-10-17 10:28:18 -07:00
Matt Huszagh 9320c69ecb kicad: set default footprint, symbol library and package locations 
Previously, these library locations were set absolutely. This
prevented overriding their locations with environment variables. Now,
setting the corresponding environment variable will override the
setting in the environment wrapper. For instance, I can set

KISYSMOD=/some/path/to/footprints

and this will be used as my footprint library instead of the default
footprint library in the nix store. This feature is particularly
useful for having kicad libraries which are writable.
 2020-10-17 09:32:55 -07:00
Ben Siraphob 683a87dbeb treewide: remove periods from end of package descriptions 2020-10-17 08:22:31 -07:00
Artur Cygan 5229b4502a btor2tools: enable unix platforms 2020-10-16 19:39:46 +02:00
Ryan Mulligan f9728adae7
Merge pull request #99128 from jbedo/delly 
delly: 0.8.2 -> 0.8.5
 2020-10-16 06:30:11 -07:00
R. RyanTM a3dca9576b deeptools: 3.4.1 -> 3.5.0 2020-10-16 00:42:47 -07:00
Doron Behar 1db3202722
Merge pull request #75843 from jbedo/lumpy 2020-10-15 19:46:13 +03:00
piegames e14a359896 treewide: Fix broken desktop files and mark packages as broken 
This fixes all packages that are failed `nixpkgs-review` in #91790.
Packages that were broken prior to that PR were marked as broken.
Packages that failed because of #75729 were fixed.
 2020-10-15 15:14:51 +02:00
R. RyanTM af82dfa808 mavproxy: 1.8.19 -> 1.8.22 2020-10-15 05:05:52 +00:00
Frederik Rietdijk b981eca057 Merge master into staging-next 2020-10-14 11:32:49 +02:00
Anderson Torres a9637e5b52
Merge pull request #100357 from AndersonTorres/zegrapher-new 
zegrapher: init at 3.1.1
 2020-10-13 15:14:04 -03:00
Frederik Rietdijk 9e1943edc0 Merge master into staging-next 2020-10-13 19:34:34 +02:00
Vincent Laporte 33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
Matthias Beyer ea4a13e573 R: 4.0.2 -> 4.0.3 
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
 2020-10-13 10:05:15 +02:00
AndersonTorres 1331d642e0 zegrapher: init at 3.1.1 2020-10-12 19:31:34 -03:00
Doron Behar 58b8ae4127
Merge pull request #100066 from matthuszagh/kicad-srcs 2020-10-12 22:55:16 +03:00
Matt Huszagh f2cb2c447d kicad: add srcs parameter to allow configuring kicad versions 
This also exposes the full src and version parameters for each
derivation, allowing them to overrideable by srcs.
 2020-10-12 11:32:44 -07:00
Matt Huszagh 9d13164b27 kicad: Rename <feature>Support arguments to with<Feature> 
Also: Use assertions instead of silently ignoring arguments that don't cooperate
(occ+oce) / won't compile (aarch64 + oce).

base.nix no longer provides default argument values since these are
provided by default.nix.
 2020-10-12 11:32:04 -07:00
Anderson Torres e61c9d185d
Merge pull request #100193 from AndersonTorres/big-upload 
A bunch of updates
 2020-10-12 08:48:52 -03:00
AndersonTorres 69c14beb04 gp2c: 0.0.11pl3 -> 0.0.11pl4 2020-10-12 04:07:03 -03:00
AndersonTorres 781753db45 pari: 2.11.3 -> 2.11.4 2020-10-12 04:07:03 -03:00
Claudio Bley 0f6b8b7964 fritzing: 0.9.3b -> 0.9.4 
Notes:

* fritzing still needs an older version of libgit2
* releases no longer directly correspond to tags in the git repository, they are
  using build numbers instead
* the fritzing-parts repository is no longer versioned at all, the master branch
  contains the latest stable release
* a `parts.db` file needs to be generated from the fritzing-parts files during
  the build
 2020-10-11 16:51:59 -07:00
Matt Huszagh 937c2597d9 ngspice: 31 -> 32 2020-10-11 16:10:33 +02:00
Wulfsta 77143fc628 mathematica: fix libQt errors 2020-10-11 15:49:11 +02:00
Gabriel Ebner b03c6ef37d
Merge pull request #99503 from NieDzejkob/isabelle-z3-fix 2020-10-11 12:39:09 +02:00
Matt Huszagh 85d5195f70 kicad: remove unnecessary with lib; statements 2020-10-10 16:22:04 -07:00
Jan Tojnar aabcf2d8f5
Merge branch 'master' into staging-next 2020-10-11 00:27:21 +02:00
Matt Huszagh e2fea84597 kicad: clarify wrapGAppsHook comment 2020-10-10 15:15:43 -07:00
Matt Huszagh b3e2b523e5 kicad: reformat with nixpkgs-fmt 2020-10-10 12:53:09 -07:00
Vladimír Čunát 338b25697c
Merge branch 'master' into staging-next 
Quite many rebuilds from master:
> Estimating rebuild amount by counting changed Hydra jobs.
>    3926 x86_64-darwin
>    4645 x86_64-linux
 2020-10-10 11:32:10 +02:00
Doron Behar 967a01f206
Merge pull request #100065 from matthuszagh/kicad 2020-10-10 12:28:09 +03:00
Daniel Schaefer 384470e23f
Merge pull request #99964 from guserav/horizon-eda 
horizon-eda: init at 1.2.1
 2020-10-10 11:49:07 +08:00
guserav 6a4c1972a2 horizon-eda: init at 1.2.1 
Mostly based on #86694 by yrashk
 2020-10-09 19:57:38 +02:00
Matt Huszagh 104aca941a kicad-unstable: 2020-08-22 -> 2020-10-09 
base.nix requires gtk3 to compile
 2020-10-09 07:36:42 -07:00
Matt Huszagh b67afd8a44 kicad: modify update script to use gitlab for libraries 
Kicad libraries are now hosted on gitlab instead of github.
 2020-10-09 07:36:41 -07:00
Frederik Rietdijk ec28e32c9e Merge master into staging-next 2020-10-08 21:47:26 +02:00
Dmitry Kalinkin b0486f3171
pythia: 8.244 -> 8.303 2020-10-07 20:28:19 -04:00
Ben Darwin e673c285e1 conglomerate: update LIBMINC_DIR to reflect libminc CMake changes 2020-10-06 15:31:18 -04:00
Ben Darwin 44f2bf87d6 EZminc: update LIBMINC_DIR to reflect libminc CMake changes 2020-10-06 15:31:18 -04:00
Ben Darwin 83d0571ae6 mni_autoreg: update LIBMINC_DIR due to CMake changes in libminc 2020-10-06 15:31:17 -04:00
Ben Darwin 9a190786a4 n3: 2017-09-18 -> 2018-08-09 
- update LIBMINC_DIR and EBTKS_DIR due to CMake updates in those packages
 2020-10-06 15:31:16 -04:00
Ben Darwin 7772e248ab inormalize: update LIBMINC_DIR and dependencies due to libminc update 2020-10-06 15:31:16 -04:00
Ben Darwin 91a429a148 minc_tools: unstable-2019-12-04 -> unstable-2020-07-25 2020-10-06 15:31:14 -04:00
Francesco Gazzetta a302261318 key: init at 2.6.3 2020-10-06 17:37:23 +02:00
Frederik Rietdijk 692d219a93 Merge staging-next into staging 2020-10-06 10:25:58 +02:00
Jakub Kądziołka 8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Justin Bedo d8d8f9390a
delly: 0.8.2 -> 0.8.5 2020-10-01 18:09:53 +10:00
Anderson Torres 5e99485b3d
Merge pull request #99214 from bcdarwin/update-mrtrix 
mrtrix: 3.0.0 -> 3.0.2
 2020-10-01 01:14:54 -03:00
Ben Darwin a94d0fe675 mrtrix: 3.0.0 -> 3.0.2 2020-09-30 22:13:18 -04:00
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Justin Bedo 634927a402
mosdepth: 0.2.9 -> 0.3.1 2020-09-30 09:48:47 +10:00
Jan Tojnar 32b4375f10
Merge branch 'staging-next' into staging 2020-09-29 00:12:29 +02:00
Dmitry Kalinkin dd57dcf2a5
stellarium: enable on darwin 2020-09-27 17:00:10 -04:00
Maximilian Bosch b8d1e39a28
stellarium: 0.20.2 -> 0.20.3 
https://github.com/Stellarium/stellarium/releases/tag/v0.20.3
 2020-09-27 22:09:36 +02:00
Matt Huszagh 6b9481607b openems: init at unstable-2020-02-15 2020-09-27 11:32:27 -07:00
Robert Scott 8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn 
aragorn: fix build on darwin
 2020-09-25 19:58:10 +01:00
Dmitry Kalinkin 7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog 
verilog: cleanup & test
 2020-09-25 10:37:34 -04:00
R. RyanTM e66a7e2fb7 cytoscape: 3.8.0 -> 3.8.1 2020-09-25 04:38:49 +00:00
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 Burns 6cc2d3e6f2 aragorn: fix build on darwin 
Use environment-specified $CC for C compiler
 2020-09-23 20:45:21 -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
Drew Risinger ba886f7b1a verilog: add tests 
Run recommended self-tests from iverilog's CI.

Tests add about a minute to the build time on local machine
(2 -> 3 mins).
 2020-09-22 13:58:15 -04:00
Drew Risinger 0d9a6e2da5 verilog: cleanup 
Meta attributes were out of date or not in current style,
and some attributes of derivation were redundant.
 2020-09-22 13:58:06 -04: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
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
R. RyanTM 741b7f7b36 rofi-calc: 1.7 -> 1.8 2020-08-29 06:44:34 +00:00
Vincent Laporte 5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
R. RyanTM ee4c871ecd marvin: 20.16.0 -> 20.17.0 2020-08-26 12:52:34 +00:00
Henri Menke e1f177fab2
mathematica: 12.1.0 -> 12.1.1 2020-08-24 11:36:59 +12:00
Silvan Mosberger cf47ba66fb
Merge pull request #81129 from scalavision/igv-update-28x 
igv: 2.4.19 -> 2.8.0
 2020-08-23 19:24:33 +02:00
scalavision 78e89143d4
igv: 2.4.19 -> 2.8.9 
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
 2020-08-23 19:23:04 +02:00
Austin Seipp 7cb1f36513
verilator: 4.036 -> 4.040 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp 1e451da386
mcy: 2020.07.06 -> 2020.08.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp 0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Evils 3ebb12a695 kicad-unstable: 2020-07-21 -> 2020-08-22 2020-08-23 13:24:16 +02:00
Evils c761c60431 kicad: reenable scriptingSupport 
94108 fixed the wxPython dependency
 2020-08-23 13:24:16 +02:00
Evils 43a6b7b886 kicad: use hash rather than date for package names 
to prevent duplication when just the date changes

kicad.libraries should be fixed output derivations?
 2020-08-23 13:24:16 +02:00
Gabriel Ebner f84aae6f67
Merge pull request #96074 from gebner/qalc-gtk-doc-hack 
qalculate-gtk: explain pkg-config issue
 2020-08-23 11:53:32 +02:00
Lassulus 15d98507ee
Merge pull request #87224 from Sohalt/isabelle 
isabelle: 2018 -> 2020
 2020-08-23 11:28:53 +02:00
Gabriel Ebner 294ddd8e9f qalculate-gtk: explain pkg-config issue 2020-08-23 11:13:06 +02:00
Daniël de Kok 0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl 
vhd2vl: init
 2020-08-22 20:19:43 +02:00
Gabriel Ebner a3ce3f5931 qalculate-gtk: fix parallel build 2020-08-22 19:06:43 +02:00
Matt Huszagh 38aadfbbad vhd2vl: init at unstable-2018-09-01 2020-08-22 09:42:34 -07:00
Gabriel Ebner 55af730da0
Merge pull request #95999 from gebner/calculix217 
calculix: 2.15 -> 2.17
 2020-08-22 18:26:02 +02:00
Gabriel Ebner 294cd72be3 qalculate-gtk: 3.8.0a -> 3.12.1 2020-08-22 17:14:25 +02:00
Gabriel Ebner 214d7626e1 calculix: 2.15 -> 2.17 2020-08-22 17:12:30 +02:00
Daniël de Kok 0cb88d7302
Merge pull request #95975 from r-ryantm/auto-update/hyp2mat 
hyp2mat: 0.0.17 -> 0.0.18
 2020-08-22 15:24:37 +02:00
Lassulus 7623640e54
Merge pull request #89868 from r-ryantm/auto-update/star 
star: 2.7.3a -> 2.7.4a
 2020-08-22 13:35:13 +02:00
R. RyanTM 55d5e762d0 hyp2mat: 0.0.17 -> 0.0.18 2020-08-22 09:25:47 +00:00
R. RyanTM 60a133f5d1 adms: 2.3.6 -> 2.3.7 2020-08-21 21:04:44 -07:00
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel 1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Lassulus de25713886
Merge pull request #91647 from jbedo/whisper 
whisper: init at 2.0.1
 2020-08-21 18:09:35 +02:00
Mario Rodas f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00