mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 08:01:14 +00:00
Code Issues Wiki Activity
119512 commits 237 branches 124 tags 7.4 GiB
Commit graph

953 commits

Author SHA1 Message Date
Michael Raskin 7be7698612
Merge pull request #25552 from antonxy/master 
lightworks: init at 14.0.0
 2017-11-05 00:01:48 +00:00
Keshav Kini 0094ca20cc acl2: 6.5 -> 7.4, refactor 
The `make regression` line was failing because the expression was
downloading a core-system-only, no-libraries source tarball.  I
switched to using fetchFromGitHub, which downloads the full source
code -- the core system as well as the "community books",
i.e. libraries -- but the libraries unfortunately do not build yet
because they have more dependencies than the core system, and they
also run into some impurity problems during the build process.

This commit changes the ACL2 package so that at least the user will
obtain the latest version of the core system, even though they won't
get the community books.  In a later commit I hope to fix this; it
will require either changes to ACL2 itself, or a patch to be applied
to ACL2 in nixpkgs.

ACL2 7.4 has no trouble building on the current version of SBCL in
nixpkgs, so I let it do so instead of using the ancient SBCL version
1.2.0 from 2014.

I also added myself as a maintainer to this package, since I'm an
active contributor to the ACL2 project and am interested in seeing it
working on Nix.
 2017-11-04 13:48:22 -07:00
Renaud 27114d45ae
stdenv.lib.maintainers: add c0bw3b 2017-11-04 19:56:04 +01:00
Orivej Desh 3ea077e638
Merge pull request #30942 from andrestylianos/joker 
joker: init at 0.8.6
 2017-11-04 07:09:56 +00:00
André Stylianos Ramos 49e0be1d4d joker: init at 0.8.6 2017-11-04 06:36:16 +01:00
Richard Marko d1491f490f add sorki to maintainers 2017-11-02 22:19:35 +01:00
Andrew R. M cbd65e7980 pythonPackages.rply: move to python-modules/ 2017-11-01 05:49:01 -04:00
Christopher Singley e697f10fc4 PlexPy: init at 1.4.25 2017-10-29 19:28:16 -05:00
Christian Kauhaus afc66e121d vulnix: 1.2.2 -> 1.3.4 
The build needs the ZODB fix in PR #30925 to succeed.
 2017-10-29 15:43:58 +01:00
Daiderd Jordan 443d1f2e6e
Merge pull request #30907 from iblech/patch-1 
maintainers.nix: fix tiny typo
 2017-10-29 01:52:41 +02:00
Ingo Blechschmidt 443e7bf5f4 maintainers.nix: fix tiny typo 2017-10-28 22:42:18 +02:00
Sam Parkinson 5ac01066f2 gradio: init at 6.0.2 2017-10-29 06:32:38 +11:00
David Izquierdo 301fc3a33d maintainers: add dizfer 2017-10-28 12:32:54 +03:00
Ingo Blechschmidt 9f28f2dd38 sshlatex: init at 0.7 2017-10-28 11:08:05 +02:00
Milan Svoboda c564e54f12 kitty: init at 0.4.2 (#30687) 
* add new application: terminal kitty (opengl, c, python)

https://github.com/kovidgoyal/kitty.git

* kitty: nitpicks

* update kitty 0.4.0 -> 0.4.2, add maintainer
 2017-10-25 22:03:20 +01:00
mehandes 17af9f8d4d svgcleaner: init at v0.9.1 
Svgcleaner is a tool for fast and safe svg optymalization.
 2017-10-25 18:43:10 +02:00
Franz Pletz 6df1cccfdf Merge pull request #30721 from xzfc/xpointerbarrier 
xpointerbarrier: init at 17.10
 2017-10-25 04:11:52 +02:00
Daniel Peebles 4bf221932e Merge pull request #30750 from kuznero/pr/dotnet-sdk 
dotnet-sdk: init at 2.0.3
 2017-10-24 19:10:03 -04:00
Joachim F 6a65235bac Merge pull request #30697 from earldouglas/avian-maintainers 
avian: add meta.maintainers
 2017-10-24 22:07:44 +00:00
Roman Kuznetsov 6b1b8487df
dotnet-sdk : init at 2.0.3 2017-10-25 00:04:16 +02:00
Yellow Ghost 646a77739b
notify-desktop: init at 0.2.0 
notify-desktop package added

improved code synopsis
 2017-10-24 15:25:49 +02:00
Alex Vorobiev 770bedbc20 meritous: init at 1.4 2017-10-24 09:52:52 +02:00
Albert Safin 2cbfe0a5db maintainers: add xzfc 2017-10-23 19:53:12 +07:00
James Earl Douglas 7562ed51f6
avian: add meta.maintainers 2017-10-22 18:31:24 -06:00
joncojonathan 2f540c31a2 Added joncojonathan to maintainers 
Motivation for change: I'm working on things more, so figured it was wise.
 2017-10-21 14:22:57 +02:00
Frederik Rietdijk d854b3df2c Merge pull request #30503 from guibou/guibou_vfx_pkgs 
Many packages used in computer animation industry
 2017-10-19 15:38:56 +02:00
Kevin Quick a1afec9c14 maintainers: add Kevin Quick 2017-10-19 08:18:55 +02:00
Guillaume Bouchard bed68ed344 Add *guibou* in maintainers 2017-10-18 11:56:33 +02:00
Herwig Hochleitner 30b3b5d85f announce myself as a maintainer 
added maintainer entries for `cdemu` (which i've created), as well as
`wine` and `chromium` (which I regularly contribute to)
 2017-10-14 11:11:49 +02:00
Justin Humm 5cca8800a4 notmuch-bower: init at 2017-09-27 (#29856) 
* bower: init and add erictapen as maintainer

* bower: fix up

* notmuch-bower: rename from bower
 2017-10-14 10:08:04 +01:00
Jörg Thalheim 8bff56c09c Merge pull request #30079 from chpatrick/mate-power-manager 
mate-power-manager: init at 1.18.0
 2017-10-12 10:13:33 +01:00
Patrick Chilton e3675fedc7 mate-power-manager: init at 1.18.0 2017-10-12 08:22:21 +02:00
Florian Klink ab2cc75f78 guzzle_sphinx_theme: init at 0.7.11 
* maintainers: add flokli

* sphinx_guzzle_theme: init at 0.7.11

This adds sphinx_guzzle_theme, which is used for sphinx documentation in
various projects, including BorgBackup.
 2017-10-12 07:14:37 +01:00
dupgit 5b53ebd0a9 Adds dupgit to the maintainers 2017-10-11 20:51:01 +02:00
Jörg Thalheim a08837622d Merge pull request #30203 from andir/add-dnstracer 
dnstracer: init at 1.9
 2017-10-07 22:11:22 +01:00
Andreas Rammhold c1135606c0
maintainers: add andir 2017-10-07 22:33:32 +02:00
Spencer Baugh 6db9b65f65 maintainers: add catern 2017-10-07 12:01:44 +02:00
Jörg Thalheim 3fe7cddc30 Merge pull request #30146 from dpflug/master 
tqsl: init at 2.3.1
 2017-10-06 13:34:03 +01:00
Rommel Martinez 1d74f31a0a maintainers.nix: update email 2017-10-06 15:16:39 +08:00
David Pflug a6d570dd49
tqsl: init at 2.3.1 2017-10-05 22:35:32 -04:00
Jörg Thalheim f9991c9094 Merge pull request #30086 from TealG/axoloti-1.0.12 
axoloti: init at 1.0.12-1
 2017-10-04 16:19:28 +01:00
Teal Gaure ed35c0761f axoloti: init at 1.0.12-1 2017-10-04 17:11:52 +02:00
Peter Romfeld fca7a9af0f fastlane: init at 2.60.1 2017-10-04 15:02:23 +01:00
David Kuo d514aa5c6a Add david50407 into maintainers.nix 2017-10-04 07:36:49 +00:00
mingchuan d6b8ac6ca8 maintainers.nix: use my GitHub handle as maintainer name 2017-10-03 14:27:10 +00:00
Stuart Moss 796b3a2306
eclipse-plugin-vrapper: init at 0.72.0 2017-10-03 00:31:17 +02:00
John M. Harris, Jr 4219de070d
kore: init at 2.0.0 2017-10-01 14:08:36 -04:00
Orivej Desh 5bf29702b7 Merge pull request #29533 from sivteck/rosDevChan 
vcstool: init at 0.1.31
 2017-10-01 09:36:00 +00:00
Orivej Desh 432f9925a6 Merge pull request #29745 from mgdelacroix/gpac-update 
gpac: 0.5.0 -> 0.7.1
 2017-10-01 09:01:56 +00:00
Symphorien Gibol 10a612120f xcas, giac: add myself as maintainer 2017-09-30 21:40:50 +02:00