alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
276509 commits 217 branches 121 tags 4.5 GiB
Commit graph

4333 commits

Author SHA1 Message Date
Markus Kowalewski d23e5ca0b4
openmolcas: fix license 2021-02-01 13:28:51 +01:00
Markus Kowalewski 8d466ab26a
gpredict: fix license 2021-02-01 13:27:39 +01:00
github-actions[bot] 03b81d1bef
Merge staging-next into staging 2021-01-31 18:27:42 +00:00
Markus Kowalewski 56bf82e8a1
molden: fix outdated URLs 2021-01-31 18:08:02 +01:00
github-actions[bot] 81337921f5
Merge staging-next into staging 2021-01-31 00:46:33 +00:00
Sandro d0dc21f539
Merge pull request #110824 from SuperSandro2000/fix-collection5 2021-01-31 00:35:55 +01:00
Daniel Schaefer b85a0ba2c2
Merge pull request #111332 from guserav/horizon-eda 
horizon-eda: 1.3.0 -> 1.4.0
 2021-01-30 23:21:51 +01:00
Sandro Jäckel ced3ec6ce3
treewide: update permanent url redirects 2021-01-30 21:48:57 +01:00
Mario Rodas b695eadb47
Merge pull request #111234 from r-ryantm/auto-update/gretl 
gretl: 2020e -> 2021a
 2021-01-30 15:23:52 -05:00
Mario Rodas 540346afa4
Merge pull request #111329 from r-ryantm/auto-update/marvin 
marvin: 20.21.0 -> 21.1.0
 2021-01-30 15:14:04 -05:00
github-actions[bot] c72ffa864a
Merge staging-next into staging 2021-01-30 18:27:30 +00:00
guserav e8906d6b4a horizon-eda: 1.3.0 -> 1.4.0 2021-01-30 18:30:22 +01:00
R. RyanTM 19842bc24d marvin: 20.21.0 -> 21.1.0 2021-01-30 17:14:01 +00:00
Mario Rodas 6d8b2d71ba
Merge pull request #111278 from r-ryantm/auto-update/last 
last: 1170 -> 1178
 2021-01-30 10:26:15 -05:00
R. RyanTM ad28c0fb42 last: 1170 -> 1178 2021-01-30 07:52:29 +00:00
R. RyanTM af91d02593 gretl: 2020e -> 2021a 2021-01-30 01:29:56 +00:00
R. RyanTM 7a939f1db3 dcmtk: 3.6.5 -> 3.6.6 2021-01-29 16:43:50 +00:00
github-actions[bot] c367646dd4
Merge staging-next into staging 2021-01-29 12:23:58 +00:00
Gabriel Ebner b7fe801cce
Merge pull request #111117 from r-ryantm/auto-update/lean 
lean: 3.25.0 -> 3.26.0
 2021-01-29 11:04:43 +01:00
github-actions[bot] 4c82d7eb24
Merge staging-next into staging 2021-01-29 06:19:21 +00:00
R. RyanTM fe1239c794 lean: 3.25.0 -> 3.26.0 2021-01-29 05:15:16 +00:00
Sandro d17f76f05a
Merge pull request #108172 from sikmir/geogebra 
geogebra: 5-0-609-0 → 5-0-620-0, geogebra6: 6-0-609-0 → 6-0-620-0
 2021-01-29 02:19:06 +01:00
github-actions[bot] 798f7b136c
Merge staging-next into staging 2021-01-28 18:30:08 +00:00
Sandro e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire 
isabelle: provide perl LWP for remote_vampire
 2021-01-28 18:32:27 +01:00
Jakub Kądziołka df410f8de7
isabelle: provide perl LWP for remote_vampire 2021-01-28 11:05:39 +01:00
R. RyanTM abd5395184 mavproxy: 1.8.30 -> 1.8.31 2021-01-28 00:24:12 +00:00
github-actions[bot] 06efb52369
Merge staging-next into staging 2021-01-27 18:28:34 +00:00
Roland Coeurjoly cbad557fe2
saw-tools: update license (#110920) 2021-01-27 17:52:41 +01:00
Ben Siraphob 82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
github-actions[bot] 1b5da764a7
Merge staging-next into staging 2021-01-27 12:24:09 +00:00
Sandro ad97ca4e51
Merge pull request #110912 from siraben/stdenv-lib-inherit 
treewide: remove inherited stdenv.lib
 2021-01-27 10:28:55 +01:00
Ben Siraphob 3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07:00
Thomas Tuegel 0e418a1a18
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation 
Qt: Do not require mkDerivation
 2021-01-26 16:24:41 -06:00
Phillip Cloud bba47f95f1 sortmerna: mark broken on darwin 2021-01-26 12:55:33 -05:00
Thomas Tuegel 5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook 2021-01-25 15:56:15 -06:00
Pavol Rusnak a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Sandro ad445d3728
Merge pull request #110735 from jbedo/bedtools 
bedtools: 2.29.2 -> 2.30.0
 2021-01-25 11:04:30 +01:00
Ryan Mulligan afebf1cc9a
Merge pull request #110529 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.24.0 -> 2.24.1
 2021-01-24 18:06:28 -08:00
Justin Bedo d81e79af15
bedtools: 2.29.2 -> 2.30.0 2021-01-25 13:06:22 +11:00
Sandro a36bf6faf9
Merge pull request #101796 from luc65r/pkg/tilp2 2021-01-25 01:11:50 +01:00
Mario Rodas 214d726b92
Merge pull request #110487 from r-ryantm/auto-update/lean 
lean: 3.24.0 -> 3.25.0
 2021-01-24 10:17:35 -05:00
luc65r 3c5f402e6e
tilp2: init at 1.18 2021-01-24 14:06:41 +01:00
luc65r 99d0610e03
gfm: init at 1.08 2021-01-24 14:06:41 +01:00
volth bc0d605cf1 treewide: fix double quoted strings in meta.description 
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
 2021-01-24 19:56:59 +07:00
Pavol Rusnak 90f7338112
treewide: stdenv.lib -> lib 2021-01-24 01:49:49 +01:00
Markus Kowalewski 6dba41fbcb
mpi: use mpi attribute consistently as the default MPI implementations 
Use the attribute mpi to provide a system wide default MPI
implementation. The default is openmpi (as before).
This now allows for overriding the MPI implentation by using
the overlay mechanism. Build all packages with mpich instead
of the default openmpi can now be achived like this:
self: super:
 {
   mpi = super.mpich;
 }

All derivations that have been using "mpi ? null" to provide optional
building with MPI have been change in the following way to allow for
optional builds with MPI:
{ ...
, mpi
, useMpi ? false
}
 2021-01-23 12:15:13 +01:00
R. RyanTM e1ea0a237a picard-tools: 2.24.0 -> 2.24.1 2021-01-22 19:10:27 +00:00
R. RyanTM 0119128f9e lean: 3.24.0 -> 3.25.0 2021-01-22 14:11:46 +00:00
sternenseemann 9212e03c13 acgtk: use dune install 2021-01-21 11:26:26 +01:00
Ryan Mulligan 33784b7228
Merge pull request #110086 from r-ryantm/auto-update/marvin 
marvin: 20.20.0 -> 20.21.0
 2021-01-20 23:38:00 -08:00
zowoq 932941b79c treewide: editorconfig fixes 
- remove trailing whitespace
- use spaces for indentation
 2021-01-21 13:29:54 +10:00
R. RyanTM 427bbe059a picard-tools: 2.23.9 -> 2.24.0 2021-01-20 20:42:01 +00:00
R. RyanTM 26dba9209f marvin: 20.20.0 -> 20.21.0 2021-01-20 05:27:37 +00:00
zowoq 759a2cd563 ecopcr: use spaces for indentation 2021-01-20 10:53:10 +10:00
zowoq 31f5dd3f36 treewide: editorconfig fixes 
- remove trailing whitespace
- use spaces for indentation
 2021-01-20 09:11:11 +10:00
R. RyanTM 5eeafdb3ad kstars: 3.5.0 -> 3.5.1 2021-01-19 18:56:23 +00:00
Jonathan Ringer 9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
 2021-01-19 01:16:25 -08:00
Jonathan Ringer 200bb8c977 cd-hit: remove non-existent package 2021-01-19 01:16:25 -08:00
Sandro ed2dbbba22
Merge pull request #109771 from r-ryantm/auto-update/delly 
delly: 0.8.6 -> 0.8.7
 2021-01-18 17:36:01 +01:00
R. RyanTM e776f923e4 elan: 0.10.2 -> 0.10.3 2021-01-18 15:20:28 +00:00
R. RyanTM a0e1bb6a4b delly: 0.8.6 -> 0.8.7 2021-01-18 14:22:30 +00:00
Sandro 0b6f223eec
Merge pull request #104756 from Mazurel/qucs-s 
qucs-s: init at 0.0.22
 2021-01-18 01:30:34 +01:00
Sandro fe2882e5d3
Merge pull request #107845 from danielbarter/openbabel3 2021-01-18 00:37:32 +01:00
Sandro Jäckel 197eace081
avogadro: update maintainers 2021-01-18 00:21:49 +01:00
Mauricio Scheffer f8b69fa6d2 starspace: init at unstable-2021-01-17 2021-01-17 21:31:55 +00:00
Ben Siraphob badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
yangm2 c7ebdc8123
verilator: 4.100 -> 4.108 
Co-authored-by: Austin Seipp <aseipp@pobox.com>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-01-15 21:10:37 -06:00
CRTified f8c06505db aliza: 1.98.32 -> 1.98.43 2021-01-15 21:30:55 +01:00
Sandro 403ea9f27c
Merge pull request #97101 from fricklerhandwerk/wxpython 2021-01-15 10:30:05 +01:00
Michael Raskin d714c53f17
fix mis-merge 2021-01-14 15:26:10 +00:00
Michael Raskin f2210b7287
Merge branch 'master' into remove-opensmt 2021-01-14 14:22:22 +00:00
fricklerhandwerk bb2879d593 mavproxy: fix darwin build 2021-01-14 09:26:12 +01:00
Sandro Jäckel 55444ed07f
nasc: Fix compilation with gcc10 2021-01-11 12:08:20 +01:00
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; 
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
 2021-01-11 10:38:22 +01:00
Jan Tojnar dd72357155
Merge branch 'master' into staging-next 2021-01-10 23:24:33 +01:00
John Ericson 05b5b5491e
Merge pull request #108507 from Ericson2314/ott-mode 
ott-mode: Factor our from ott
 2021-01-10 14:30:59 -05:00
Nikolay Korotkiy c0575fe0ef
geogebra: 5-0-609-0 → 5-0-620-0, geogebra6: 6-0-609-0 → 6-0-620-0 2021-01-10 20:19:43 +03:00
github-actions[bot] 433c7b069c
Merge master into staging-next 2021-01-10 01:03:35 +00:00
Markus Kowalewski 14caa4b2bf
octopus: 10.0 -> 10.3 2021-01-09 16:32:49 +01:00
Markus Kowalewski 0961d5b998
octopus: update licenses 2021-01-09 16:32:49 +01:00
Michael Weiss 8ae8602bf7
Merge branch 'master' into staging-next 
Manually resolved a conflict in
pkgs/development/libraries/libbladeRF/default.nix.
 2021-01-09 12:16:11 +01:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
github-actions[bot] ecebf82121
Merge master into staging-next 2021-01-08 12:29:36 +00:00
Gabriel Ebner 5000e5707b
Merge pull request #108717 from Dyazz/libqalculate 
libqalculate: 3.14.0 -> 3.16.0
 2021-01-08 11:23:31 +01:00
Dyazz 8cdefb6995 qalculate-gtk: 3.15.0 -> 3.16.0 2021-01-08 08:43:39 +01:00
Jan Tojnar e6c0c98940
Merge branch 'master' into staging-next 
zynaddsubfx conflict has been updated to 3.0.1, which conflicted with rewrite after 3.0.5 update on a different branch.
 2021-01-08 02:07:34 +01:00
Evils 0448f1c082 kicad-unstable: 2020-12-01 -> 2020-12-23 2021-01-07 16:17:41 -05:00
Evils 9be551c1d8 kicad: 5.1.8 -> 5.1.9 2021-01-07 16:17:41 -05:00
Evils 86e29a0b72 kicad: fix update.sh multiple tag reply handling 
and fix tabs in update.sh
 2021-01-07 16:17:41 -05:00
Sandro 7ae17783a7
Merge pull request #108432 from jbedo/fastp 
fastp: init 0.20.1
 2021-01-07 21:44:33 +01:00
github-actions[bot] 5c072a088d
Merge master into staging-next 2021-01-07 18:40:50 +00:00
Sandro ec56bf6ede
Merge pull request #106456 from eduardosm/diylc 2021-01-07 17:24:42 +01:00
Jan Tojnar f19eb635b4
Merge branch 'master' into staging-next 
b04fc593e7 seems to have accidentally changed mkDerivation function for dfilemanager and solarus-quest-editor so I have reverted that here.
 2021-01-07 13:04:31 +01:00
Eduardo Sánchez Muñoz 0d84b3f540 diylc: init at 4.15.1 2021-01-07 12:53:35 +01:00
Justin Bedo bdf3d727ca
fastp: init 0.20.1 2021-01-07 18:24:19 +11:00
Devon Richards 7a16349789
lean: 3.23.0 -> 3.24.0 
We have to update to be able to use the current version of mathlib.
 2021-01-06 21:38:04 -06:00
Сухарик 4746e1717f
sympy: 1.6.2 -> 1.7.1 (#107663) 
* sympy: 1.6.2 -> 1.7.1

* sage: adapt tests to sympy 1.7

Co-authored-by: Mauricio Collares <mauricio@collares.org>
 2021-01-06 17:10:30 +00:00
Sandro 0af4d59732
Merge pull request #108437 from jbedo/varscan 
varscan: 2.4.2 -> 2.4.4
 2021-01-06 00:19:30 +01:00
Sandro 31d6b1cd06
Merge pull request #108435 from jbedo/last 
last: 1145 -> 1170
 2021-01-06 00:18:41 +01:00
Guillaume Girol f3e84c4d42
Merge pull request #107416 from hjones2199/phd2wrap 
phd2: add GApps wrapper to fix breakage on non-nixos wayland systems
 2021-01-05 20:09:24 +00:00
John Ericson 4eb13669a0 ott: Don't also install emacs mode 
There is now a separate package for that.
 2021-01-05 14:41:52 -05:00
Anderson Torres 0972bbc12d
Merge pull request #108445 from AndersonTorres/updates 
Misc updates
 2021-01-05 11:54:15 -03:00
AndersonTorres e8183d4687 magic-vlsi: 8.3.80 -> 8.3.109 
Also, add myself to maintainers list.
 2021-01-05 10:49:00 -03:00
Sandro f53c431645
Merge pull request #108379 from SuperSandro2000/cleanups 2021-01-05 02:19:24 +01:00
Justin Bedo 56dd3fa172
varscan: 2.4.2 -> 2.4.4 2021-01-05 10:55:28 +11:00
Justin Bedo 62432c855f
last: 1145 -> 1170 2021-01-05 10:29:31 +11:00
Frederik Rietdijk b20838eb4a Merge staging-next into staging 2021-01-04 20:51:32 +01:00
Pavol Rusnak bf77245202
Merge pull request #108219 from prusnak/viennarna 
ViennaRNA: init at 2.4.17
 2021-01-04 18:04:56 +01:00
markuskowa d480c86858
Merge pull request #107223 from markuskowa/upd-qe 
quantum-espresso: 6.5 -> 6.6
 2021-01-04 14:33:37 +01:00
Sandro 6ac4c2d1f6
Merge pull request #107962 from flyfloh/colmap-36 2021-01-04 14:25:21 +01:00
Sandro Jäckel a8d360eca3
raxml: cleanup 2021-01-04 11:02:16 +01:00
github-actions[bot] 07165c7226
Merge staging-next into staging 2021-01-03 18:38:32 +00:00
John Ericson b03fdcc7f9
Merge pull request #108300 from siraben/parallel-cmake 
treewide: remove enableParallelBuilding = true if using cmake
 2021-01-03 13:22:09 -05:00
Pavol Rusnak 77364ac7c0
Merge pull request #108251 from prusnak/bowtie2 
bowtie2: 2.3.5.1 -> 2.4.2
 2021-01-03 13:47:45 +01:00
github-actions[bot] 0649757570
Merge staging-next into staging 2021-01-03 12:24:59 +00:00
Ben Siraphob 3ae5e6ce03 treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
Sandro 6ae069c990
Merge pull request #108249 from prusnak/bowtie 
bowtie: init at at 1.3.0
 2021-01-03 10:03:24 +01:00
zowoq fb2311d430 Merge staging-next into staging 2021-01-03 16:33:28 +10:00
Pavol Rusnak 9139eb5aee bowtie2: 2.3.5.1 -> 2.4.2 2021-01-02 22:18:32 +01:00
Pavol Rusnak 03b99f0721 bowtie: init at at 1.3.0 2021-01-02 19:46:59 +01:00
Maximilian Bosch 097cd34db0
Merge pull request #108126 from Ma27/cleanup-maintained-pkgs 
treewide: remove maintainership of `ma27` from a few packages
 2021-01-02 18:58:26 +01:00
Pavol Rusnak cb0b77e2f5 ViennaRNA: init at 2.4.17 2021-01-02 18:53:31 +01:00
Sandro 84c3e129cc
Merge pull request #108190 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.0.10 -> 4.0.11
 2021-01-02 09:55:16 +01:00
Ben Wolsieffer 92e3304792 qgroundcontrol: 4.0.10 -> 4.0.11 2021-01-01 22:22:20 -05:00
freezeboy 9fd99b5a32 opensmt: 20101017 -> 2.0.1 2021-01-01 23:38:04 +01:00
Sandro 0336dda91b
Merge pull request #108113 from r-ryantm/auto-update/nanovna-saver 
nanovna-saver: 0.3.7 -> 0.3.8
 2021-01-01 21:10:11 +01:00
Maximilian Bosch e7d1be840c
treewide: remove maintainership of ma27 from a few packages 
Those are packages I don't use anymore for a longer time and I therefore
don't think that listing me as maintainer is a good idea. If those
should be removed now, I'd be fine with that.

SuperSandro2000 will take care of a few packages[1].

[1] https://github.com/NixOS/nixpkgs/pull/108126#pullrequestreview-560599381
 2021-01-01 19:48:01 +01:00
github-actions[bot] 0eb369d907
Merge staging-next into staging 2021-01-01 18:39:12 +00:00
Dmitry Kalinkin 8bee208bf8
Merge pull request #107335 from veprbl/pr/root_6_20_08 
root: 6.18.04 -> 6.22.06, don't build vendored LLVM
 2021-01-01 12:28:37 -05:00
R. RyanTM 43a4341bf7 nanovna-saver: 0.3.7 -> 0.3.8 2021-01-01 10:47:03 +00:00
Ben Siraphob b04fc593e7 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
Florian Pester b740afa546 colmap: 3.5 -> 3.6 2020-12-31 09:56:07 +01:00
Florian Pester 75eef96f08 colmapWithCuda: fix build 2020-12-31 09:56:07 +01:00
Pavol Rusnak 1017eb06b1
Merge pull request #101227 from herberteuler/fix/mathematica-12.1.1-opencv4 
mathematica: use opencv4
 2020-12-29 23:41:09 +01:00
Doron Behar 7c304d037f
Merge pull request #104848 from hjones2199/kstars-up 
kstars: 3.4.3 -> 3.5.0
 2020-12-28 00:16:21 +02:00
Doron Behar 6f8710ae1e
Merge pull request #107545 from wucke13/mission-planner 
mission-planner: init at version 1.3.74
 2020-12-28 00:02:53 +02:00
Hunter Jones 7d42517d83 kstars: 3.4.3 -> 3.5.0 2020-12-27 14:00:39 -06:00
freezeboy 3c89e637e8 bcal: 1.9 -> 2.2 2020-12-27 17:52:28 +01:00
wucke13 54c2534c3b mission-planner: init at version 1.3.74 2020-12-26 21:39:02 +01:00
Markus Kowalewski 1ba79ed57f
openmolcas: set platform to x86-64-linux 
This is the main development platforms. Others are not
officially supported.
 2020-12-26 16:58:58 +01:00
Markus Kowalewski c3fadb95f4
openmolcas: fix fallout from #83888 
Removed non-functional lines.
Openmolcas does not build with the blas/lapack switching mechanism
 2020-12-26 01:55:46 +01:00
R. RyanTM 2c3ca45515 mavproxy: 1.8.29 -> 1.8.30 2020-12-24 08:35:40 -08:00
lsix 156b9cc570
Merge pull request #107482 from lsix/gama-2.12 
gama: 2.09 -> 2.12
 2020-12-24 08:22:07 +00:00
Matthias Beyer fd4a486dea gama: 2.09 -> 2.12 
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
 2020-12-23 16:58:32 +00:00
freezeboy 8db56b4525 kstars: add optional dependencies 2020-12-23 17:22:41 +01:00
freezeboy d63dc152e9 kstars: use mkDerivation instead of wrapQtAppsHook 2020-12-23 17:21:46 +01:00
Hunter Jones bc28967a18 phd2: add GApps wrapper to fix breakage on non-nixos wayland systems 2020-12-22 12:12:13 -06:00
Dmitry Kalinkin a30bff21e8
root: use llvm_5 from nixpkgs 2020-12-21 18:24:25 -05:00
Dmitry Kalinkin b7e70092c5
root: 6.20.08 -> 6.22.06 2020-12-21 16:43:09 -05:00
FliegendeWurst e49c1a0027
mathematica: 12.1.1 -> 12.2.0 (#107309) 2020-12-21 12:55:28 -05:00
Dmitry Kalinkin 7d6e0d5324
root: 6.18.04 -> 6.20.08 2020-12-20 23:49:54 -05:00
Justin Bedo 3a65e29d4b
SPAdes: add python dependency 2020-12-21 08:29:57 +11:00
Markus Kowalewski 7139a58f50
quantum-espresso: 6.5 -> 6.6 2020-12-19 21:14:40 +01:00
Timo Kaufmann afead527c4
Merge pull request #105615 from collares/sage-update 
sage: 8.9 -> 9.2
 2020-12-19 18:13:16 +01:00
Millian Poquet 15ab96d5a7 simgrid: 3.25 -> 3.26 2020-12-19 14:03:33 +01:00
Vincent Laporte 66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Mauricio Collares 8100c5a44b sage: 8.9 -> 9.2 fixups 2020-12-15 16:51:42 -03:00
Mauricio Collares 8b8cae779f pari: update tarball location, since it moved 2020-12-15 16:46:43 -03:00
Mauricio Collares 4058e45736 nauty: update tarball sha256 
The old `nauty` tarball is currently accessible at
https://distfiles.macports.org/nauty/nauty27r1.tar.gz. The diff is a
single line in genbg.c:

-    SUMMARY(&nout,t2-t1);
+    SUMMARY(nout,t2-t1);
 2020-12-15 16:46:43 -03:00
Mauricio Collares cf6364bed2 pynac: import patch to avoid deprecation warnings on python3.8 2020-12-14 19:24:19 -03:00
Mauricio Collares 5df948d4cc giac: 1.5.0-21 -> 1.5.0-87 2020-12-14 19:24:18 -03:00
Masanori Ogino 5c4136daf7 sage: 8.9 -> 9.2 2020-12-14 19:24:18 -03:00
Mario Rodas 7666fb25d0
Merge pull request #106856 from jbedo/delly 
delly: 0.8.5 -> 0.8.6
 2020-12-14 08:10:03 -05:00
Ryan Mulligan 41cdb14aac
Merge pull request #106611 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.8 -> 2.23.9
 2020-12-13 15:28:16 -08:00
Justin Bedo 6ce06dccfc
delly: 0.8.5 -> 0.8.6 2020-12-14 09:55:57 +11:00
Robert Scott d81a6bb6f2 hal-hardware-analyzer: 2.0.0 -> 3.1.9 2020-12-11 22:37:04 +00:00
Mario Rodas 8006772a05
Merge pull request #106612 from alyssais/cedille 
cedille: 1.1.1 -> 1.1.2; fix build
 2020-12-11 07:37:18 -05:00
Jörg Thalheim a1cacefde5
Merge pull request #106480 from SCOTT-HAMILTON/spdlog 2020-12-11 07:45:06 +00:00
Sandro f1e3b5160e
Merge pull request #103338 from hjones2199/siril 2020-12-11 07:35:23 +01:00
Hunter Jones 69741a7a48 siril: init at 0.99.6 2020-12-11 00:07:30 -06:00
Alyssa Ross 8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
R. RyanTM aa2148eb1f picard-tools: 2.23.8 -> 2.23.9 2020-12-10 23:06:36 +00:00
SCOTT-HAMILTON d98fae8072
Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix 
Co-authored-by: Drew <drewrisinger@users.noreply.github.com>
 2020-12-10 16:35:46 +01:00
SCOTT-HAMILTON ddf90cb942 spdlog: use nixpkgs' fmt instead of bundled one 2020-12-10 10:47:00 +01:00
markuskowa ba5c6f6075
Merge pull request #105133 from markuskowa/fix-gromacs 
Gromacs: fix SIMD flags, and OpenMP
 2020-12-08 09:10:38 +01:00
R. RyanTM cec747d712 clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
Ben Gamari c98ce627d4
kicad-unstable: 2020-11-07 -> 2020-12-01 (#105743) 2020-12-03 19:17:32 -05:00
R. RyanTM b3f3197266 mavproxy: 1.8.27 -> 1.8.29 2020-12-03 14:33:38 +00:00
Sandro 30cdc8be48
Merge pull request #105650 from r-ryantm/auto-update/gretl 
gretl: 2020b -> 2020e
 2020-12-02 20:22:27 +01:00
Ryan Mulligan 4ce30eb63a
Merge pull request #105672 from r-ryantm/auto-update/hmmer 
hmmer: 3.3.1 -> 3.3.2
 2020-12-02 05:45:57 -08:00
Austin Seipp e601758166
abc-verifier: 2020.06.22 -> 2020.11.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-12-02 07:18:05 -06:00
Mario Rodas d48bc3e815
Merge pull request #105654 from r-ryantm/auto-update/gmsh 
gmsh: 4.7.0 -> 4.7.1
 2020-12-02 05:15:45 -05:00
Austin Seipp a3ae8a4fcf
Merge pull request #100750 from arcz/boolector 
boolector: enable darwin build
 2020-12-02 03:19:54 -06:00
R. RyanTM 6f50c5b18e hmmer: 3.3.1 -> 3.3.2 2020-12-02 09:00:15 +00:00
R. RyanTM cf89444f1e gmsh: 4.7.0 -> 4.7.1 2020-12-02 05:50:47 +00:00
R. RyanTM f9a694106b gretl: 2020b -> 2020e 2020-12-02 04:45:07 +00:00
Ben Darwin ee7d83e648 ants: unbreak on Darwin 2020-12-01 14:17:54 -05:00
Markus Kowalewski e90cff90f1
openmolcas: fix hash 2020-11-30 23:05:14 +01:00
Justin Bedo 5fc6258043
bwa: expand supported platforms 2020-11-30 09:46:51 +11:00
Artur Cygan da3c0ca0dd boolector: fix darwin build 2020-11-29 22:31:54 +01:00
Artur Cygan 38e6f15d98 btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
Vincent Laporte 8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Sandro 4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.6.0 -> 1.7.0
 2020-11-29 04:01:21 +01:00
Sandro 2c0389680c
Merge pull request #90075 from dmrauh/add/gretl 
gretl: init at 2020b
 2020-11-28 22:10:05 +01:00
Dominik Michael Rauh 5f10cd5e0b
gretl: init at 2020b 2020-11-28 21:37:30 +01:00
Doron Behar 56a2c8bb22
Merge pull request #104171 from freezeboy/unbreak-dsview-qt515 
dsview: 0.99 -> 1.12
 2020-11-28 17:55:25 +02:00
Timo Kaufmann 819a2c571a
Merge pull request #105212 from r-ryantm/auto-update/jmol 
jmol: 14.31.17 -> 14.31.18
 2020-11-28 10:46:52 +01:00