Commit Graph

4176 Commits

Author SHA1 Message Date
Sandro
9a15b4dd19
Merge pull request #111697 from AndersonTorres/chemtool 2021-02-03 14:45:50 +01:00
AndersonTorres
7e481eed2d chemtool: init at 1.6.14 2021-02-03 08:48:32 -03:00
Jarl G. Taxerås Flaten
813d14b9b7
coq: 8.13+beta1 -> 8.13.0 (#109479) 2021-02-03 08:34:47 +01:00
Ryan Mulligan
e51d3443c8
Merge pull request #110971 from r-ryantm/auto-update/MAVProxy
mavproxy: 1.8.30 -> 1.8.31
2021-02-02 17:35:03 -08:00
Sandro Jäckel
6ad10c3bcd
treewide: Remove doBuild cause it does not exist 2021-02-02 14:46:06 +01:00
wucke13
e4696feefc apmplanner2: 2.0.28-rc1 -> 2.0.28 2021-02-01 19:41:39 +01:00
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
Markus Kowalewski
56bf82e8a1
molden: fix outdated URLs 2021-01-31 18:08:02 +01: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
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
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
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
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
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
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
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
Phillip Cloud
bba47f95f1 sortmerna: mark broken on darwin 2021-01-26 12:55:33 -05: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