JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
333,708 Commits 2 Branches 0 Tags 12 GiB
30e9e7bea5
Commit Graph

5275 Commits

Author SHA1 Message Date
Ryan Burns
073fe478e1
Merge pull request #140209 from balodja/openmodelica 
openmodelica: 1.17.0 -> 1.18.0
 2021-10-18 02:06:22 -07:00
Justin Bedo
71eeb7ee56
Merge remote-tracking branch 'origin/master' into r-updates 2021-10-17 21:41:51 +11:00
Justin Bedo
3a0bdda3d9
R: add myself to maintainers 2021-10-17 08:41:58 +11:00
Martin Weinelt
a415d5dd2e Merge remote-tracking branch 'origin/master' into staging-next 2021-10-15 23:10:08 +02:00
Théo Zimmermann
e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
superherointj
206f3ab323 pythonPackages.jupyter_client: renamed to jupyter-client 2021-10-15 07:51:23 -03:00
Artturi
6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links 2021-10-15 05:07:49 +03:00
Martin Weinelt
adf4e67dd4 Merge remote-tracking branch 'origin/staging' into staging-next 2021-10-15 01:34:36 +02:00
Shadaj Laddad
9d02ea53de cadical: include C++ headers 2021-10-14 15:23:05 -07:00
Michael Raskin
ea4c595210
Merge pull request #141612 from vbgl/leo2-1.7.0 
leo2: 1.6.2 → 1.7.0
 2021-10-14 11:01:18 +00:00
Peter Simons
476635afe1 Drop myself from meta.maintainers for most packages. 
I'd like to reduce the number of Github notifications and
review requests I receive.
 2021-10-14 11:01:27 +02:00
Vincent Laporte
cafe9f88fc
leo2: 1.6.2 → 1.7.0 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)
 2021-10-14 09:45:49 +02:00
Alyssa Ross
851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Sergei Trofimovich
0b2d3bbfcb yices: 2.6.3 -> 2.6.2 
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854

The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
 2021-10-13 17:58:26 +01:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent Laporte
e31bc3d26a coq2html: 1.2 → 1.3 2021-10-13 10:15:05 +02:00
github-actions[bot]
0bb8cb9c7a
Merge staging-next into staging 2021-10-13 06:01:52 +00:00
Ryan Burns
2df1874125
Merge pull request #141430 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.44 -> 1.8.45
 2021-10-12 17:59:17 -07:00
R. RyanTM
f9da99e40d mavproxy: 1.8.44 -> 1.8.45 2021-10-13 00:39:29 +00:00
github-actions[bot]
e69f5a133f
Merge staging-next into staging 2021-10-13 00:02:00 +00:00
Sergei Trofimovich
b18a746169
yices: 2.6.1 -> 2.6.3 (#141241) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-10-12 23:09:47 +02:00
Sandro
1aac6f3b28
Merge pull request #141302 from felixsinger/pkgs/gtkwave/update 2021-10-12 21:38:24 +02:00
github-actions[bot]
0cb186d33d
Merge staging-next into staging 2021-10-12 18:01:50 +00:00
Vincent Laporte
17e2fbf2dc alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
github-actions[bot]
7af387291c
Merge staging-next into staging 2021-10-12 12:02:08 +00:00
Sandro
2017c3a883
Merge pull request #141301 from jbedo/samtools 2021-10-12 11:30:07 +02:00
github-actions[bot]
5065827878
Merge staging-next into staging 2021-10-12 00:02:05 +00:00
Felix Singer
c1ecf6d2b4 gtkwave: 3.3.110 -> 3.3.111 
Update GTKWave to latest release. Also, reformat default.nix.

Signed-off-by: Felix Singer <felixsinger@posteo.net>
 2021-10-12 01:40:44 +02:00
Justin Bedo
02a1a2b3c8
samtools: 1.11 -> 1.13 2021-10-12 10:19:36 +11:00
Artturi
d5ac63708f
Merge pull request #135133 from r-ryantm/auto-update/emuflight-configurator 2021-10-11 21:03:27 +03:00
github-actions[bot]
1b2b1c3d56
Merge staging-next into staging 2021-10-10 00:02:14 +00:00
Gabriel Ebner
9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
github-actions[bot]
73444b1e90
Merge staging-next into staging 2021-10-09 12:01:44 +00:00
Ryan Burns
5170bbc015
Merge pull request #140689 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.43 -> 1.8.44
 2021-10-09 00:43:10 -07:00
github-actions[bot]
7a3a25044d
Merge staging-next into staging 2021-10-09 00:02:05 +00:00
markuskowa
14ab975a71
Merge pull request #140975 from sheepforce/avogadro2-updates 
avogadro2: 1.94.0 -> 1.95.1
 2021-10-08 22:02:11 +02:00
Phillip Seeber
aa02e7f828 avogadro2: initialise a translation repo 2021-10-08 14:43:13 +02:00
Phillip Seeber
181689dfea avogadro2: 1.94.0 -> 1.95.1 2021-10-08 14:26:19 +02:00
github-actions[bot]
5da3c99f54
Merge staging-next into staging 2021-10-08 12:02:03 +00:00
Gabriel Ebner
be4d1ca79c
Merge pull request #140916 from andersk/lean 
lean: 3.32.1 → 3.33.0
 2021-10-08 10:37:22 +02:00
Anders Kaseorg
4ce09e0e06 lean: 3.32.1 → 3.33.0 
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2021-10-07 18:54:06 -07:00
github-actions[bot]
ae9f8ec1b6
Merge staging-next into staging 2021-10-07 00:02:11 +00:00
Justin Bedő
68f25d5a86
Merge pull request #140170 from marsam/r-hydra 
R: don't restrict hydraPlatforms
 2021-10-07 08:54:26 +11:00
R. RyanTM
a1e297d282 mavproxy: 1.8.43 -> 1.8.44 2021-10-06 00:35:56 +00:00
github-actions[bot]
4bbe70b6f4
Merge staging-next into staging 2021-10-06 00:02:16 +00:00
Bruno Bzeznik
fe36d93cea siesta: 4.1-b3 -> 4.1.5 2021-10-05 22:46:40 +02:00
github-actions[bot]
b7725a001d
Merge staging-next into staging 2021-10-04 18:01:44 +00:00
figsoda
3109ff5765 treewide: avoid use of lib.optional with list in inputs 2021-10-04 13:02:42 -04:00
Narazaki, Shuji
4de6574fb8 kissat: init at 2.0.1 2021-10-04 08:45:36 +09:00
github-actions[bot]
23fbe4eb93
Merge staging-next into staging 2021-10-03 18:01:40 +00:00
Sandro
87180d88f9
Merge pull request #140102 from r-ryantm/auto-update/MAVProxy 2021-10-03 19:20:09 +02:00
github-actions[bot]
9960091b16
Merge staging-next into staging 2021-10-02 18:01:48 +00:00
Alex Martens
5430af2013 dwfv: init at 0.4.1 2021-10-02 09:03:37 -07:00
Vladimir Korolev
72d4a1f13d openmodelica: v1.17.0 -> v1.18.0, add balodja to openmodelica maintainers 2021-10-02 12:39:57 +03:00
Mario Rodas
4662abd3b4 R: don't restrict hydraPlatforms 
The restriction of hydraPlatforms was added in [1: ef05fad51a], but
doesn't seem to be a real reason behind it. R is Free Software and it
take takes a few minutes to build so I believe it can be distributed by
Hydra.

1: 2014-05-04 ef05fad51a
   R: don't restrict meta.platforms to Linux; other architectures should build fine
 2021-10-01 04:20:00 +00:00
R. RyanTM
e7ad746486 mavproxy: 1.8.42 -> 1.8.43 2021-10-01 00:38:44 +00:00
github-actions[bot]
a92850904c
Merge staging-next into staging 2021-09-30 18:01:43 +00:00
Bobby Rong
8145828985
Merge pull request #134593 from r-ryantm/auto-update/star 
star: 2.7.8a -> 2.7.9a
 2021-09-30 22:39:05 +08:00
github-actions[bot]
2dfffe79b2
Merge staging-next into staging 2021-09-30 00:02:24 +00:00
Austin Seipp
d474571392 symbiyosys: 2020.08.22 -> 2021.09.13 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-09-29 13:14:27 -05:00
github-actions[bot]
ce4a8ae240
Merge staging-next into staging 2021-09-29 18:01:44 +00:00
Sandro
8f7fa26a78
Merge pull request #139309 from Baltoli/bump-z3 2021-09-29 15:00:38 +02:00
Thomas Tuegel
0e87e81ee5
Merge pull request #139764 from veprbl/pr/qtwrap_ismacho 
qt: use isELF and isMachO in wrapQtAppsHook
 2021-09-28 20:37:15 -05:00
Timo Kaufmann
cb3342eec8
Merge pull request #139758 from collares/sage-threejs-path 
threejs-sage: install in expected location
 2021-09-28 20:05:18 +02:00
Mauricio Collares
a5a7c33e77 threejs-sage: install in expected location 
Co-authored-by: Timo Kaufmann <timokau@zoho.com>
 2021-09-28 19:06:48 +02:00
Dmitry Kalinkin
e0532475bc
treewide: remove darwin-only manual wrapQtApp invocations 2021-09-28 10:29:46 -04:00
Sandro
5b5fb57aed
Merge pull request #139745 from Ma27/bump-stellarium 2021-09-28 14:12:02 +02:00
Maximilian Bosch
fbdf7d2206
stellarium: 0.21.1 -> 0.21.2 
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.21.2
 2021-09-28 13:49:59 +02:00
Robert Schütz
54e1db2152
Merge pull request #138479 from dotlambda/proj-8.1.1 
proj: 7.2.1 -> 8.1.1
 2021-09-27 16:46:32 -07:00
Robert Schütz
98c8fc6fd0 gplates: 2.2.0 -> 2.3.0 2021-09-26 23:11:29 -07:00
Ryan Burns
4e1586c6ad
Merge pull request #139338 from r-burns/protobuf 
treewide: fixes for protobuf 3.18+
 2021-09-25 14:54:43 -07:00
Bruce Collie
3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
R. RyanTM
5becb56f71
star: 2.7.8a -> 2.7.9a 2021-09-24 10:37:28 +08:00
Ryan Burns
40299257cc Merge branch 'master' into staging-next 2021-09-23 18:43:00 -07:00
Naïm Favier
b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
Sandro
9f5d7fa703
Merge pull request #136526 from smancill/shogun-remove-svmlight 
shogun: remove non-distributable SVMlight code
 2021-09-23 14:11:12 +02:00
Ryan Burns
813c400edc cntk: fix build with protobuf 3.18+ 2021-09-23 02:16:17 -07:00
Bobby Rong
c25465873c
Merge pull request #138022 from natsukium/blast/update 
blast: 2.11.0 -> 2.12.0
 2021-09-23 14:48:35 +08:00
Ryan Burns
e12802213e caffe: fix build with protobuf 3.18+ 2021-09-22 21:57:13 -07:00
github-actions[bot]
796a5df129
Merge master into staging-next 2021-09-23 00:01:50 +00:00
Sandro
1d180608da
Merge pull request #138968 from hjones2199/kstars355 2021-09-22 22:32:28 +02:00
Guillaume Girol
4bc83aaffa
Merge pull request #136489 from ehmry/nimPackages 
nimpackages / buildNimPackage
 2021-09-22 18:35:38 +00:00
Hunter Jones
3ba268b73d kstars: 3.5.4 -> 3.5.5 2021-09-22 11:35:38 -05:00
markuskowa
b4f1a1338f
Merge pull request #138512 from r-burns/csdp 
[staging-next] Revert "csdp: move gfortran to nativeBuildInputs"
 2021-09-20 12:18:40 +02:00
Alyssa Ross
e2bb7997c4
Merge remote-tracking branch 'nixpkgs/master' into staging-next 
Conflicts:
	nixos/doc/manual/release-notes/rl-2111.section.md
 2021-09-19 17:08:00 +00:00
Ryan Burns
b23afbb866 Revert "csdp: move gfortran to nativeBuildInputs" 
We are not using gfortran as a native binary; we are using its lib.

Fixes build on darwin.

This reverts commit eabbf45b60.
 2021-09-19 02:35:27 -07:00
Bobby Rong
0fd8cc3908
treewide: switch from pantheon.maintainers to lib.teams.pantheon 2021-09-18 23:07:00 +08:00
github-actions[bot]
263bdbdad4
Merge master into staging-next 2021-09-18 06:01:19 +00:00
figsoda
0e575a459e
Merge pull request #137974 from r-ryantm/auto-update/bowtie 
bowtie: 1.3.0 -> 1.3.1
 2021-09-17 22:52:43 -04:00
Sebastián Mancilla
e810fad47a shogun: remove non-distributable SVMlight code 
SVMlight uses a non-standard license [0] that doesn't allow distribution
without the author's permission:

> The software must not be modified and distributed without prior permission of the author.

So remove all code related to it when building the binary package.
Use upstream's own script to do it (which they use to create and
distribute their own Debian package), with a few fixes.

There is still the option of building from source with SVMlight enabled
with an override that sets the withSvmLight parameter.

If SVMlight is enabled set the license to unfree. Also fix the
deprecated gpl3 license to gpl3Plus.

[0]: https://github.com/shogun-toolbox/shogun/blob/shogun_6.1.4/doc/license/LICENSE_SVMlight.md
 2021-09-17 15:04:34 -03:00
github-actions[bot]
a21275cdae
Merge master into staging-next 2021-09-17 18:01:14 +00:00
figsoda
715d551a10
Merge pull request #136637 from L-as/alliance 
alliance: 5.1.1 -> unstable-2020-12-04
 2021-09-17 12:47:55 -04:00
Las Safin
33390f6bc7
alliance: 5.1.1 -> unstable-2021-09-15 2021-09-17 16:17:23 +00:00
github-actions[bot]
2ad7b248e6
Merge staging-next into staging 2021-09-17 00:02:15 +00:00
Robert Scott
c1dac4490e
Merge pull request #138061 from Stunkymonkey/switch-fetchFromGitLab 
quantum-espresso,postgresql11Packages.pg_ed25519: switch to fetchFromGitlab
 2021-09-16 23:53:23 +01:00
github-actions[bot]
85bd312fb6
Merge staging-next into staging 2021-09-16 12:02:04 +00:00
markuskowa
228e15e7cb
Merge pull request #138123 from markuskowa/fix-octopus 
octopus: add CPU optimization flags
 2021-09-16 13:25:47 +02:00
Markus Kowalewski
bd69f3d627
octopus: add CPU optimization flags 2021-09-16 12:53:47 +02:00
Bobby Rong
12d38c57c3
Merge pull request #134133 from Kranzes/auto-update/SPAdes 
SPAdes: 3.15.2 -> 3.15.3
 2021-09-16 17:09:24 +08:00
Bobby Rong
77f92d23c7
Merge pull request #137608 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.1.3 -> 4.1.4
 2021-09-16 14:18:28 +08:00
Felix Buehler
64bac8e874 quantum-espresso: switch to fetchFromGitLab 2021-09-15 23:13:57 +02:00
github-actions[bot]
1c625bf844
Merge staging-next into staging 2021-09-15 18:01:59 +00:00
Dmitry Kalinkin
d8ed39b309
Merge pull request #135525 from veprbl/pr/open_memstream_fmemopen_darwin_fix 
Add implemetations of open_memstream/fmemopen to be used on BSDs
 2021-09-15 11:49:55 -04:00
Dmitry Kalinkin
84f408f206
Merge pull request #136016 from veprbl/pr/root_6_24_04 
root: 6.24.02 -> 6.24.06
 2021-09-15 11:35:07 -04:00
Tomoya Otabi
1e9bd43214 blast: 2.11.0 -> 2.12.0 2021-09-15 15:33:44 +00:00
github-actions[bot]
24a34e5706
Merge staging-next into staging 2021-09-15 12:01:34 +00:00
Michael Raskin
47eaf6727b
Merge pull request #137876 from r-ryantm/auto-update/opensmt 
opensmt: 2.1.0 -> 2.1.1
 2021-09-15 09:03:33 +00:00
R. RyanTM
7bf7c9b92b bowtie: 1.3.0 -> 1.3.1 2021-09-15 07:35:44 +00:00
github-actions[bot]
636ebe3a72
Merge staging-next into staging 2021-09-15 06:01:54 +00:00
Justin Bedő
9c4f65db4b
Merge pull request #137884 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.26.0 -> 2.26.2
 2021-09-15 04:59:06 +00:00
R. RyanTM
e676fdcb90 picard-tools: 2.26.0 -> 2.26.2 2021-09-14 19:53:25 +00:00
R. RyanTM
1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00
github-actions[bot]
95f24a8a57
Merge staging-next into staging 2021-09-14 18:01:40 +00:00
R. RyanTM
504529d628 horizon-eda: 2.0.0 -> 2.1.0 2021-09-14 10:46:32 +00:00
github-actions[bot]
04e48fbe4f
Merge staging-next into staging 2021-09-13 18:01:51 +00:00
adisbladis
fcf5397793
Merge pull request #135905 from dukc/secondDmd2097 
D compiler update
 2021-09-13 11:36:55 -05:00
Ben Wolsieffer
03111112cc qgroundcontrol: 4.1.3 -> 4.1.4 2021-09-13 00:11:37 -04:00
github-actions[bot]
dfd1161f35
Merge staging-next into staging 2021-09-13 00:02:22 +00:00
Sandro
11e504567d
Merge pull request #137454 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.41 -> 1.8.42
 2021-09-13 00:26:51 +02:00
github-actions[bot]
fef6f602e6
Merge staging-next into staging 2021-09-12 18:01:50 +00:00
Daniël de Kok
6f2ce2a65e treewide: remove danieldk as maintainer from a set of packages 
I currently do not have much time to work on nixpkgs. Remove
myself as a maintainer from a bunch of packages to avoid that
people are waiting on me for a review.
 2021-09-12 14:42:12 +00:00
Sandro
83eef43893
Merge pull request #135906 from yl3dy/xoscope 
xoscope: 2.0 -> 2.3
 2021-09-12 16:15:41 +02:00
Sandro Jäckel
e4a49641ae
openems: fix eval 2021-09-12 14:45:44 +02:00
R. RyanTM
2464f7ae0a mavproxy: 1.8.41 -> 1.8.42 2021-09-12 00:36:50 +00:00
github-actions[bot]
d370d9ee99
Merge staging-next into staging 2021-09-11 18:01:51 +00:00
Sandro
22d08e62d9
Merge pull request #137382 from Xitian9/geogebra 2021-09-11 18:33:09 +02:00
Sandro
790559422e
Merge pull request #136823 from r-ryantm/auto-update/MAVProxy 2021-09-11 18:08:34 +02:00
Sandro
205c2ada66
Merge pull request #136967 from bzizou/obitools 2021-09-11 16:27:18 +02:00
Stephen Morgan
28b5133cce geogebra: 5-0-644-0 -> 5-0-662-0 2021-09-11 23:49:13 +10:00
github-actions[bot]
6188f2aeeb
Merge staging-next into staging 2021-09-11 06:01:28 +00:00
Guillaume Girol
1065a41d8d
Merge pull request #136369 from veprbl/pr/root5_gcc10_fix 
root5: fix for gcc10
 2021-09-10 19:54:29 +00:00
Hunter Jones
bc19f8dd1e kstars: 3.5.3 -> 3.5.4 2021-09-07 13:04:31 -05:00
Bruno Bzeznik
3bd1b0ed0d obitools3: 3.0.0-beta14 -> 3.0.1b11 2021-09-07 09:38:41 +02:00
R. RyanTM
a7277dd058 mavproxy: 1.8.40 -> 1.8.41 2021-09-06 00:37:54 +00:00
Emery Hemingway
323c503cba mosdepth: convert to buildNimPackage 2021-09-05 11:20:02 +02:00
Dmitry Kalinkin
0ec2acf51f
root: build with -Dimt=ON 2021-09-03 12:41:16 -04:00
Dmitry Kalinkin
95b2d74bc5
root: re-enable unvendored LLVM 2021-09-03 12:41:16 -04:00
Dmitry Kalinkin
aedfb59c87
root: 6.24.02 -> 6.24.06 2021-09-03 12:41:04 -04:00
Markus Kowalewski
25ebbde3e1
sherpa: move gfortran to nativeBuildInputs 2021-09-03 13:33:32 +02:00
Markus Kowalewski
01ba299e53
elmerfem: move gfortran to nativeBuildInputs 2021-09-03 13:33:32 +02:00
Markus Kowalewski
9259691d58
dl-poly-classic: move gfortran to nativeBuildInputs 2021-09-03 13:33:32 +02:00
Markus Kowalewski
35a17a0cfe
scilab: move gfortran to nativeBuildInputs 2021-09-03 13:33:32 +02:00
Markus Kowalewski
74443bc786
jags: move gfortran to nativeBuildInputs 2021-09-03 13:33:31 +02:00
Markus Kowalewski
eabbf45b60
csdp: move gfortran to nativeBuildInputs 2021-09-03 13:33:31 +02:00
Markus Kowalewski
d5c38a0d5c
siesta: move gfortran to nativeBuildInputs 2021-09-03 13:33:31 +02:00
Markus Kowalewski
9eb814fd96
quantum-espresso: move gfortran to nativeBuildInputs 2021-09-03 13:33:31 +02:00
Markus Kowalewski
eecadd3f3b
openmolcas: move gfortran to nativeBuildInputs 2021-09-03 13:33:31 +02:00
Dmitry Kalinkin
0a312a356c
root5: fix for gcc10 2021-09-01 07:14:56 -04:00
Ate Eskola
b2a39efa57 sambamba 0.8.0 -> 0.8.1 2021-08-31 12:37:49 +03:00
Michael Raskin
df3f3ccc6d
Merge pull request #136250 from collares/sage-networkx 
sage: adapt tests for networkx 2.6
 2021-08-31 07:52:29 +00:00
Mauricio Collares
7194273c77 sage: adapt tests for networkx 2.6 2021-08-30 22:43:24 -03:00
schotts-fired
9ec4fb0cd1 R: add memory profiling compile option 2021-08-30 18:24:42 +02:00
davidak
fe2d3b56e7
Merge pull request #136014 from veprbl/pr/snakemake_6_7_0 
snakemake: 6.6.1 -> 6.7.0
 2021-08-29 10:54:01 +02:00
Dmitry Kalinkin
b8c5c06aab
snakemake: 6.6.1 -> 6.7.0 2021-08-28 02:18:38 -04:00
Diep Pham
ac0b44b1ee
dcmtk: support darwin platform (#136005) 2021-08-28 02:00:18 -04:00
Alexander Kiselyov
accd81c1b6 xoscope: fixed buildInputs 2021-08-27 17:49:54 +03:00
Alexander Kiselyov
27dcb4bd31 xoscope: 2.0 -> 2.3 2021-08-26 22:21:17 +03:00
davidak
1b78608c69
Merge pull request #135516 from bzizou/stacks 
stacks: Changed license to gpl3Plus
 2021-08-26 03:50:48 +02:00
Justin Bedo
b1b57ec04e
fastp: 0.20.1 -> 0.22.0 2021-08-25 09:52:07 +10:00
Sandro
73ad08e512
Merge pull request #135481 from kzvi/lean-update 
lean: 3.31.0 -> 3.32.1
 2021-08-25 00:43:28 +02:00
Dmitry Kalinkin
9c8f6efc55
xfitter: enable WITH_YAML support on darwin 2021-08-24 18:21:41 -04:00
Ryan Mulligan
8c2e2ffe95
Merge pull request #135212 from r-ryantm/auto-update/stacks 
stacks: 2.55 -> 2.59
 2021-08-24 09:03:17 -07:00
Bruno Bzeznik
a240cd9f4f stacks: Changed license to gpl3Plus 2021-08-24 09:47:24 +02:00
Ryan Mulligan
997f4452a4
Merge pull request #135255 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.25.7 -> 2.26.0
 2021-08-23 20:56:38 -07:00
kzvi
befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
davidak
d18866b1c2 nasc: 0.7.5 -> 0.8.0 2021-08-23 23:23:52 +02:00
Artturi
f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi
55fdaafe15
Merge pull request #135398 from r-ryantm/auto-update/verifast 
verifast: 19.12 -> 21.04
 2021-08-23 17:25:35 +03:00
R. RyanTM
6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
R. RyanTM
a73fc504b7 verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00
Sandro
00f31216e0
Merge pull request #130396 from collares/sage-9.4 
sage: 9.3 -> 9.4
 2021-08-22 21:26:12 +02:00
Sandro
607fea187f
Merge pull request #135262 from shnarazk/cadical-141 
cadical: 1.3.0 -> 1.4.1
 2021-08-22 20:01:59 +02:00
Sandro
354afc6ecd
Merge pull request #135285 from Mic92/fix-homepages 2021-08-22 18:30:31 +02:00
Bjørn Forsman
7f6cb5a226 eagle: put the desktop icon where it can be found 
Apparently $out/share/icons/ doesn't work anymore, but
$out/share/pixmaps/ do.
 2021-08-22 17:12:24 +02:00
Jörg Thalheim
11e5c3ac4b bowtie: fix homepage 2021-08-22 16:08:28 +02:00
Mauricio Collares
46c3703ec1 sage: 9.3 -> 9.4 2021-08-22 09:53:12 -03:00
Mauricio Collares
9be264795c pynac: import segfault fix 2021-08-22 09:53:12 -03:00
Mauricio Collares
b565d30c47 maxima: 5.44.0 -> 5.45.0 2021-08-22 09:53:08 -03:00
Narazaki, Shuji
960ddb6f8f cadical: 1.3.0 -> 1.4.1 2021-08-22 20:46:34 +09:00
R. RyanTM
742cd80071 picard-tools: 2.25.7 -> 2.26.0 2021-08-22 10:47:38 +00:00
Michael Raskin
fbfc876625
Merge pull request #135241 from r-ryantm/auto-update/opensmt 
opensmt: 2.0.1 -> 2.1.0
 2021-08-22 10:03:57 +00:00
R. RyanTM
3760bcfd58 opensmt: 2.0.1 -> 2.1.0 2021-08-22 09:30:15 +00:00
R. RyanTM
67c1256ddd stacks: 2.55 -> 2.59 2021-08-22 07:08:39 +00:00
R. RyanTM
0fb51f3bf1 emuflight-configurator: 0.3.6 -> 0.4.0 2021-08-21 22:59:43 +00:00
Sandro
b2573f352e
Merge pull request #134578 from smancill/phase-hooks-use-strings 
treewide: ensure pre/post phase hooks are strings
 2021-08-21 14:49:30 +02:00
Sandro Jäckel
026fb18487
ginac: switch to pname + version, cleanup 2021-08-21 11:20:15 +02:00
Sebastián Mancilla
8f94a33b38 treewide: ensure pre/post phase hooks are strings 
Some derivations use lib.optional or lib.optionals when setting pre/post
phase hooks. Ensure the proper lib.optionalString is used.
 2021-08-20 19:08:42 -04:00
Sandro
a9f66e941d
Merge pull request #134390 from smancill/colpack-darwin 
colpack: refactor builder and build on darwin
 2021-08-20 23:58:11 +02:00
Tom Repetti
1387ce732d openroad: init at 2.0 2021-08-20 10:16:03 -04:00
Sebastián Mancilla
50062cc371 colpack: refactor builder and build on darwin 
- Use autoreconfHook and set flags with configureFlags.
- Only enable OpenMP on Linux, so it can be built on Darwin.
- Do not install .la file. Other distros also remove them.
- Do not build examples.
- Install example sources into a proper location.
- Fixed license.
 2021-08-19 15:51:23 -04:00
Sandro
ac9f41a782
Merge pull request #134393 from smancill/bump-lp-solve 
lp_solve: 5.5.2.5 -> 5.5.2.11
 2021-08-19 21:36:59 +02:00
Sandro
33a0810405
Merge pull request #134720 from cab404/pymole-2.5.0 
pymol: 2.3.0 -> 2.5.0
 2021-08-19 19:51:09 +02:00
Zhenya Vinogradov
6714723bfa sage: fix icon location in the kernel definition 
The icon location is incorrect, `doc` directory exists inside `src`
directory, but not on the top level.
 2021-08-19 12:20:35 +03:00
Vladimir Serov
8992ae0cff
pymol: 2.3.0 -> 2.5.0 2021-08-19 10:16:38 +03:00
davidak
f2b906617d
Merge pull request #134361 from Stunkymonkey/why3-phases 
why3: deprecate phases
 2021-08-19 04:06:56 +02:00
Sebastián Mancilla
514c8569aa lp_solve: 5.5.2.5 -> 5.5.2.11 
- Use the generic builder and override build and install phases instead
  of using buildCommand and missing phases and hooks, like fixup.

- Fix build on Darwin by using the proper build script (ccc.osx).

  - Add cctools to build inputs because ccc.osx uses the libtool
    command.

  - The install_name of the library is not set so fix it with
    fixDarwinDylibNames.

- Install headers into the expected location $out/include/lpsolve
  instead of $out/include. This follows what other distro do.
 2021-08-17 23:20:47 -04:00
Ryan Mulligan
ad59a67ec0
Merge pull request #134444 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.25.1 -> 2.25.7
 2021-08-17 16:47:31 -07:00
Artturi
8ba3c63144
Merge pull request #133998 from r-ryantm/auto-update/wxmaxima 
wxmaxima: 21.02.0 -> 21.05.2
 2021-08-17 23:00:21 +03:00
Gabriel Ebner
65cafb6030
Merge pull request #134474 from r-ryantm/auto-update/qalculate-gtk 
qalculate-gtk: 3.19.0 -> 3.20.1
 2021-08-17 21:32:08 +02:00
Artturi
4f36420d07
Merge pull request #134045 from r-ryantm/auto-update/minimap2 
minimap2: 2.17 -> 2.22
 2021-08-17 22:22:47 +03:00