dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
328,281 Commits 3 Branches 0 Tags 4.3 GiB
ba6d8767ac
Commit Graph

5188 Commits

Author SHA1 Message Date
Vincent Laporte
22e732d03c tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
Artturi
493094366b
Merge pull request #142164 from jbedo/last 
last: 1179 -> 1256
 2021-10-22 08:37:19 +03:00
Justin Bedő
4e83abb0cb
Merge pull request #142199 from jbedo/picard 
picard-tools: 2.26.2 -> 2.26.3
 2021-10-22 14:36:28 +11:00
Justin Bedő
0689e7368d
Merge pull request #142333 from NixOS/r-updates 
rPackages: update R, CRAN, and BIOC
 2021-10-22 14:33:46 +11:00
Sandro
b41a876d6e
Merge pull request #141750 from superherointj/python3-alias-jupyter-client 2021-10-21 21:56:31 +02:00
github-actions[bot]
54a42ab846
Merge master into staging-next 2021-10-21 06:01:21 +00:00
Bobby Rong
85b417446a
Merge pull request #142239 from bcdarwin/update-abella 
abella: 2.0.6 -> 2.0.7
 2021-10-21 08:51:08 +08:00
github-actions[bot]
5808494271
Merge master into staging-next 2021-10-20 00:01:37 +00:00
figsoda
d68053da0a
Merge pull request #142256 from evils/kicad-domain 
kicad: use new domain name
 2021-10-19 17:46:19 -04:00
Evils
e2ae6cc0f4 kicad: use new domain name 
as the old one is now no longer controlled by the kicad organization
 2021-10-19 23:31:38 +02:00
Ben Darwin
3032353fcb abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
Vladimír Čunát
01df3cd7dd
Merge branch 'master' into staging-next 2021-10-19 19:24:43 +02:00
Justin Bedo
f120d4daf4
picard-tools: 2.26.2 -> 2.26.3 2021-10-19 21:24:56 +11:00
Justin Bedo
08489c40ab
fastp: 0.22.0 -> 0.23.1 2021-10-19 21:09:05 +11:00
Justin Bedo
f7414542d0
last: 1179 -> 1256 2021-10-19 13:23:14 +11:00
github-actions[bot]
8863d12326
Merge master into staging-next 2021-10-18 12:01:18 +00:00
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
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