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

5141 commits

Author SHA1 Message Date
github-actions[bot] 9a27efeb34
Merge master into staging-next 2021-10-26 18:01:19 +00:00
Mustafa Çalışkan 66ea992d48
fritzing: 0.9.6 -> unstable-2021-09-22 (#136142) 2021-10-26 17:23:21 +02:00
Jonathan Ringer fc25d94010
Merge remote-tracking branch 'origin/master' into staging-next 
Conflicts:
	pkgs/development/python-modules/jupyter-client/default.nix
	pkgs/development/python-modules/jupyterlab-git/default.nix
 2021-10-22 09:33:07 -07:00
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