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

1835 commits

Author SHA1 Message Date
y0no 7e0402632d bettercap: init at 1.6.2 (#33902) 2018-01-16 07:40:49 +00:00
tilpner fb1d094672
goxel: init at 0.7.2 2018-01-16 03:23:18 +01:00
Ashley Gillman 271d4a7ca0 dcm2niix: init at 1.0.20170130 2018-01-15 16:45:03 +10:00
Vladimír Čunát 67e8392383
Merge #33057: stdenv meta checks: make them lazy 
Closes #22277 - it's superseded;  I have some WIP on evaluation
performance, but best do that in a separate PR/thread.
 2018-01-14 21:41:31 +01:00
Jan Malakhovski 41df994001 lib: deprecate addPassthru 2018-01-14 19:54:47 +00:00
Jan Malakhovski 85cd22cf7d treewide: replace addPassthru 2018-01-14 19:53:57 +00:00
Jan Malakhovski 8606dd8556 lib: change the order of arguments of addPassthru 2018-01-14 13:24:30 +00:00
Graham Christensen 34b4d41a84
Merge pull request #33792 from paraseba/scidvspc 
scid-vs-pc: init at version 4.18.1
 2018-01-13 21:16:19 -05:00
Jörg Thalheim a100ed0ae3
Merge pull request #33793 from sellout/add/flootty 
flootty: init at 3.2.1
 2018-01-13 17:46:28 +00:00
xurei b9ae8efca5 libzxcvbn: init at 2.3 (#33822) 
* Add package libzxcvbn

* zxcvbn-c: name after the project not the library
 2018-01-13 10:40:45 +00:00
Greg Pfeil 38deb53542
Merge branch 'master' into add/flootty 2018-01-12 15:08:44 -07:00
Florian Engel 48776d58b1 lolcat: 42.1.0 -> 90.8.8 2018-01-12 20:18:54 +01:00
Gregory Pfeil 79db7c0616 flootty: init at 3.2.1 2018-01-12 10:32:50 -07:00
Sebastian Galkin 6b6e95ae1f Add paraseba as maintainer 2018-01-12 14:39:44 -02:00
Shea Levy 4e78aeb441
callCabal2nix: Fix calling with a path in the store. 2018-01-11 10:17:56 -05:00
Luz e056315a3e librepcb-unstable: init at 2017-12-29 (#33630) 2018-01-11 09:20:00 +00:00
Andreas Rammhold 32f6c9a73d
Merge pull request #33633 from samueldr/feature/dbeaver 
dbeaver: inits at 4.3.2
 2018-01-10 19:30:38 +00:00
Peter Simons a45ae5463b
Merge pull request #33312 from ElvishJerricco/composable-filter-source 
Added composable version of `filterSource` to `lib`
 2018-01-10 07:23:07 +01:00
Will Fancher 7e5f37d73b Added lib.cleanSourceWith as composable version of filterSource 2018-01-09 18:59:03 -05:00
Christian Kauhaus 18cf038d6f Update my e-mail address 
My work address is more appropriate now.
 2018-01-09 12:09:36 +01:00
Samuel Dionne-Riel b6829f5d6a maintainers: Adds samueldr. 2018-01-08 18:22:13 -05:00
Yegor Timoshenko ad26bfd316
lib/maintainers: fix typo 2018-01-08 15:12:00 +00:00
Alex Griffin a05e7a56d3 maintainers: add ajgrf 2018-01-06 09:09:30 -06:00
Orivej Desh a2a7d86942
Merge pull request #33252 from dzabraev/master 
pysigset: init at 0.3.2
 2018-01-06 03:13:15 +00:00
AndersonTorres 1d28f2ba69 Add watcom-1.0 license 2018-01-05 01:48:11 -02:00
Joachim F cf944e4c12
Merge pull request #33344 from dtzWill/feature/icesl 
icesl: init at 2.1.10
 2018-01-04 19:29:11 +00:00
Ryan Trinkle e1e5860ab5
Merge pull request #33346 from ryantrinkle/init-thunderbolt 
Init thunderbolt at 0.9.2
 2018-01-03 17:31:57 -05:00
Profpatsch 319722113e lib/generators: abort on pattern match failure 2018-01-03 23:13:50 +01:00
Jan Malakhovski b1ca8517ee lib: generalize addPassthru to extendDerivation 2018-01-03 12:20:24 +00:00
Ryan Trinkle 70cf769082 maintainers: add ryantrinkle 2018-01-02 14:27:20 -05:00
Merlin Göttlinger 60e76dfff8 icesl: init at 2.1.10 2018-01-02 13:19:47 -06:00
John Ericson 1ecebbd939
Merge pull request #33240 from velovix/master 
lxterminal: init at 0.3.1
 2018-01-02 10:05:28 -05:00
Jörg Thalheim 2563f7d2af
Merge pull request #33298 from chreekat/perl-vidir 
perl-vidir: init at 0.040
 2018-01-02 08:12:58 +01:00
Bryan Richter 453be1677e
perl-vidir: init at 0.040 2018-01-01 16:13:21 -05:00
Maxim Dzabraev 548a14a7b7 add new maintainer 2017-12-31 20:36:20 +03:00
Thomas Tuegel 6da5e73ad8
Merge pull request #27593 from bugworm/qtstyleplugin-kvantum 
qtstyleplugin-kvantum: init at 0.10.4
 2017-12-31 08:40:26 -06:00
Tyler Compton b1d1679d5c lxterminal: init at 0.3.1 2017-12-31 03:28:06 -07:00
David Asabina 8dbfe6990e maintainers: add @vidbina 2017-12-30 21:58:27 +01:00
Sébastien Maccagnoni 9db8e22679
gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
Adam Fidel 6a6e34b81e fastpbkdf2: init at version 1.0.0 (#33155) 2017-12-30 05:26:08 +03:00
Maciek Starzyk 8bf2a0971e miller: init at 5.2.2 2017-12-29 21:55:42 +01:00
John Mercier 78d76e4b55 jbake: init at 2.5.1 2017-12-29 03:26:13 +01:00
Joe Doyle e9886dde9b csfml: init at 2.4 (#33000) 2017-12-28 22:04:02 +01:00
hyphon81 50a6403b09
maintainers: Add hyphon81 2017-12-28 17:46:44 +01:00
exfalso 9cfe7e74e0 subdl: init at 4cf5789 2017-12-26 20:53:18 +00:00
Ivan Jager 36d0180057 altcoins.aeon: init at 0.9.14.0 2017-12-22 15:20:21 -06:00
Thane Gill ede2a5768f Add Thane Gill to maintainers 2017-12-14 17:26:27 -08:00
Joachim F fbc452c836
Merge pull request #32202 from ilya-kolpakov/python-quandl 
pythonPackages.quandl: 3.0.0 -> 3.2.1
 2017-12-14 16:49:19 +00:00
Sarah Brofeldt 8f8b9f1a50
Merge pull request #32597 from Enzime/add/syncplay 
Add syncplay 1.5.0
 2017-12-12 20:54:11 +01:00
André-Patrick Bubel bd384b0ae9 maintainers: Add moredread 2017-12-12 14:32:12 +01:00
Michael Hoang a1ab4788dd syncplay: init at 1.5.0 2017-12-13 00:06:12 +11:00
Pierre-Étienne Meunier a13fc5f4cc maintainers.nix: add pmeunier 2017-12-12 04:58:45 -06:00
Orivej Desh c7bf1b8a0e
Merge pull request #32036 from mbode/flink-1_3_2 
flink: init at 1.3.2
 2017-12-09 17:53:57 +00:00
Nadrieril 8851ef84c8 firefox.syncserver service: Add nadrieril to maintainers 2017-12-08 22:18:57 +00:00
Pascal Wittmann ae7e3a3a41
Merge pull request #32378 from markuskowa/master 
airspy: init at 1.0.9
 2017-12-07 12:38:38 +01:00
John Ericson cc20d402d4
Merge pull request #32361 from obsidiansystems/gcc-simplify-flags 
gcc: Simplify configure flags
 2017-12-07 00:59:49 -05:00
Izorkin 3025eb446b
mydumper: init at 0.9.3 2017-12-07 09:41:32 +08:00
Markus Kowalewski e832834a14 airspy: init at 1.0.9 2017-12-06 00:37:05 -08:00
John Ericson 43d5c5d6db Merge commit '703a9f93c1254f7bdf0350ca0462de0d78033c62' into gcc-simplify-flags 2017-12-05 17:58:16 -05:00
John Ericson 992bd2f6d3 Merge commit 'ab77a6bb1e7d2ff475210ad392f1a9bd1bb6ba3a' into gcc-simplify-flags 2017-12-05 17:41:15 -05:00
John Ericson 93cd0685c5 Merge commit '71186e73455a4e06e96a31da34b76f84e545ba1f' into gcc-simplify-flags 2017-12-05 17:09:41 -05:00
John Ericson c8d435476d lib: Unbreak pogoplug example platform 
Vendor needed to be made valid
 2017-12-05 14:17:00 -05:00
Bert Moens b8b7428a81 pcscd: add plugin for ACS ACR38U smart card reader 2017-12-05 20:11:17 +01:00
John Ericson 1fe9798ac2 lib, gcc: No inherit (platform) gcc; in {host,build,target}Platform 2017-12-05 13:52:20 -05:00
Ryan Trinkle 83048c4fe0 nixpkgs.lib: Add types.strMatching 2017-12-02 13:28:00 -05:00
Ryan Trinkle 6281eb123b nixpkgs.lib: Add escapeNixString 2017-12-02 13:28:00 -05:00
Jörg Thalheim ae096444a2
simgrid: 3.15 -> 3.17 (#32114) 
* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
 2017-12-01 22:14:24 +00:00
Ingolf Wagner 4896b37236
maintainers: changed email and nice of maintainer mrVanDalo 2017-12-01 13:10:55 -03:00
Maximilian Bode ea37640791 flink: init at 1.3.2 2017-11-29 02:01:32 +00:00
Mike Playle 3aecf95548 libamqpcpp: init at 2.7.4 2017-11-29 01:54:32 +00:00
Ilya Kolpakov 3e7a07b7a8 maintainers: add ilya-kolpakov <ilya.kolpakov@gmail.com> 2017-11-28 09:33:22 +01:00
MERCIER Michael 8fa00adf1a Add myself as maintainer 2017-11-27 17:58:49 +01:00
Renaud 819d089772
Merge pull request #31538 from c0bw3b/pkg/libsmbios 
libsmbios: 2.3.2 -> 2.3.3
 2017-11-26 18:19:14 +01:00
Christian Kögler 88df1a6374 maintainers: add ck3d 
Closes #32047
 2017-11-26 00:45:43 +00:00
Jörg Thalheim 428f52e2d9
Merge pull request #31956 from xaverdh/master 
oneko: init at 1.2.5
 2017-11-25 16:01:56 +00:00
Renaud 9083624cfc lib.licenses: add Open Software License 
OSL and derivatives (AFL and NPOSL)
 2017-11-25 16:08:17 +01:00
Thomas Kim Pham bd1864aec9 kompose: init at 1.5.0 (#32026) 2017-11-25 14:24:52 +00:00
Jörg Thalheim b0bf60a4e2
Merge pull request #32010 from pcarrier/pcarrier/minijail 
minijail: init at android-8.0.0_r34
 2017-11-25 10:09:09 +00:00
Pierre Carrier cb05c04f4e minijail: init at android-8.0.0_r34 2017-11-25 00:27:00 -05:00
Vladimír Čunát 7dfa97969a
Merge branch 'staging' (older one) 
Hydra seems OK-ish, except that some aarch64 jobs need restarting
after qt4 timing out for the first time:
https://hydra.nixos.org/eval/1412641?compare=1412561
 2017-11-24 18:36:54 +01:00
Yurii Rashkovskii fcec492c62 gdbgui: init at 0.9.0.1 
Feature rich browser-based frontend with data structure visualizations
(like DDD), and gdb terminal access. Compatible with C, C++, golang,
Rust, fortran. Written in Python and JavaScript

gdbgui is at the top of the GDB Front Ends
list on https://sourceware.org/gdb/wiki/GDB%20Front%20Ends
 2017-11-23 20:19:54 +07:00
Dominik Xaver Hörl ecdc401cc3 oneko: init at 1.2.5 2017-11-23 14:07:20 +01:00
Profpatsch 8e00dcd242 lib/generators: add mkValueString to mkKeyValueDefault generator 
This means the generation of values can now be influenced, even down from e.g.
an INI generator.
Breaks the interface of `mkKeyValueDefault` to match its interface to other
generator functions. It might me sensible to rename `mkKeyValue` and
`mkKeyValueSet` to conform to the `toX`-style of generator functions.
 2017-11-22 21:53:59 +01:00
Thomas Strobel c4aa4572f8 new license: Open Software License 3.0 2017-11-22 12:14:23 +01:00
Orivej Desh b8e1e7191e Merge branch 'master' into staging 
* master: (80 commits)
  lkl: Supports aarch64
  wimlib: nitpicks
  gitAndTools.git-codeowners: 0.1.1 -> 0.1.2
  wimlib: init at 1.12.0
  kernel: improve modDirVersion error message
  releaseTools.sourceTarball: Clean up temporary files
  dotnetPackages.SmartIrc4net: rehash source
  migmix: make it a fixed-output derivation
  vm: Create /dev/full
  samba: 4.6.8 -> 4.6.11 to address CVEs CVE-2017-14746 & CVE-2017-15275
  microcodeIntel: 20170707 -> 20171117
  sshd: Remove ripemd160 MACs
  kernel config: Enable MEDIA_CONTROLLER
  linux: 4.4.99 -> 4.4.100
  linux: 4.9.63 -> 4.9.64
  nix-bash-completions: 0.4 -> 0.5
  linux: 4.14 -> 4.14.1
  linux: 4.13.14 -> 4.13.15
  nix-zsh-completions: 0.3.3 -> 0.3.5
  dns-root-data: use a stable URL that I maintain anyway
  ...
 2017-11-21 22:48:36 +00:00
Eshin Kunishima 05ce88e6dd
migmix: init at 20150712 2017-11-21 20:28:27 +09:00
Orivej Desh 3c81b7639a lib: delete reference to lib/sandbox.nix 
after it was deleted in 0fe7bde3d8
 2017-11-19 10:19:21 +00:00
Orivej Desh daf8311ce1 Revert "lib: delete reference to lib/sandbox.nix" 
This reverts commit 9ee089ae05.

0fe7bde3d8 is not in master yet and it would break
master if it were: https://github.com/NixOS/nixpkgs/pull/31803#pullrequestreview-77638434
 2017-11-19 10:14:07 +00:00
Orivej Desh 9ee089ae05 lib: delete reference to lib/sandbox.nix 
after it was deleted in 0fe7bde3d8
 2017-11-19 09:03:43 +00:00
Orivej Desh b089c21506 Merge branch 'master' into staging 
* master: (39 commits)
  python.pkgs.pybfd: move to python-modules
  documentation: python 2.6 is no more
  documentation: python3Packages is python36Packages
  wireguard: 0.0.20171101 -> 0.0.20171111
  php_excel: init at 1.0.2
  libxl: init at 3.8.1
  matrix-synapse: 0.24.1 -> 0.25.1
  grafana: 4.6.1 -> 4.6.2
  linux: 4.4.98 -> 4.4.99
  linux: 4.9.62 -> 4.9.63
  linux: 4.13.13 -> 4.13.14
  nixos/zsh: add the type for enableAutosuggestions option
  zsh-powerlevel9k: init at 2017-11-10
  fio: 3.1 -> 3.2
  filebench: rehash source
  nano: 2.8.7 -> 2.9.0
  bonnie: replace dead source link
  less: 520 -> 529
  strace: 4.19 -> 4.20
  iperf: 3.2 -> 3.3
  ...
 2017-11-19 08:30:14 +00:00
Pierre Chevalier 81ea7d2dcb zsh-powerlevel9k: init at 2017-11-10 
To use, add this option to your configuration.nix:
`programs.zsh.promptInit = "source ${pkgs.zsh-powerlevel9k}/share/zsh-powerlevel9k/powerlevel9k.zsh-theme";`
 2017-11-18 21:27:04 +00:00
Orivej Desh 1161741351 Merge branch 'master' into staging 
* master: (28 commits)
  go_1_9: skip flaky TestWaitGroupMisuse2
  erlangR18: fix patch hashes with fetchpatch
  xml2: replace dead links
  nixos/pam: fix docs about path to u2f_keys file
  cinelerra: add a note about parallel building
  msmtp: install docs and examples (#31769)
  kernel: Fix out-of-tree modules on aarch64
  nixos/tests/acme: update terms of service to fix test
  gixy: init at 0.1.8
  pythonPackages.ConfigArgParse: 0.9.3 -> 0.12.0, refactor, move to python-modules
  mono: init at 4.8
  wal-g: fix license so not to break evaluation
  wal-g: init at 0.1.2
  maintainers: add backuitist
  nixos/prometheus: Correct documentation for external_labels
  spidermonkey: replace broken links
  vagrant: removed custom rake gem
  vagrant: 2.0.0 -> 2.0.1
  nixos/prometheus: add external_labels option
  nixos/prometheus: add scrape_configs.honor_labels
  ...
 2017-11-17 18:06:22 +00:00
Orivej Desh d7aefea2ef maintainers: add backuitist 2017-11-17 12:23:44 +00:00
Orivej Desh d99a2fc093 Merge branch 'master' into staging 
* master: (293 commits)
  go_1_9: skip flaky TestServerCancelsReadTimeoutWhenIdle
  qsyncthingtray: fix build
  qt56.qtwebengine: fix build
  stdman: d860212 -> 2017.04.02
  jackett: use mono50
  hg-git: disable with python3
  hg-git: 0.8.5 -> 0.8.10
  xfce4-settings: enable parallel building
  gcc-snapshot: mark as broken
  heaptrack: 2017-02-14 -> 2017-10-30
  nixos-container: Modify existing test to cover show-ip command
  nixos-container: Make show-ip work together with ipv4 + netmask
  linux-copperhead: 4.13.12.a -> 4.13.13.a
  matterbridge: 1.1.0 -> 1.4.1
  nixos/nghttpx: add module for the nghttpx proxy server (#31680)
  mattermost: 4.3.0 -> 4.4.0
  breakpad: delete
  simp_le: 0.2.0 -> 0.6.1
  certbot: 0.11.1 -> 0.19.0
  afl: 2.51b -> 2.52b
  ...
 2017-11-17 05:35:09 +00:00
Samuel Leathers 07bd44b558
dotty: init at 0.4.0-RC1 2017-11-15 11:13:39 -05:00
Dan Peebles 0fe7bde3d8 Delete lib/sandbox.nix for now 2017-11-14 21:51:40 -05:00
Parnell Springmeyer 342dc3a628
maintainers: Add ixmatus to the maintainers set 2017-11-14 20:48:46 -06:00
Dan Haraj 08508f5319 absl-py: init at 0.1.3 2017-11-14 14:37:53 -05:00
Franz Pletz 6806dd36e1
Merge pull request #31420 from ChengCat/chengcat 
vista-fonts-chs: init at 1
 2017-11-14 12:21:33 +01:00
Yucheng Zhang 55ec8e1881 vista-fonts-chs: init at 1 2017-11-14 20:05:32 +08:00
Karol Chmist e8c8163f33 [CodeReview] Added suggestions by yegortimoshenko 2017-11-13 14:10:18 +01:00
aszlig cc17b42dc7
lib/maintainers: Update my email address 
I'm no longer employed there and I'll phase out the address in the near
future.

Signed-off-by: aszlig <aszlig@nix.build>
 2017-11-13 10:14:10 +01:00
John Ericson c0a04ec2f5 libiberty: Add dev output 2017-11-13 00:30:53 -05:00
Jonas Höglund 416d5cf484 maintainers: add FireyFly 2017-11-12 23:36:33 +01:00
Mathias Schreck b627615602 git-secret: init at 0.2.2 (#31486) 
* Add lo1tuma to maintainers

* git-secret: init at 0.2.2

* gitAndTools.git-secret: man page in correct directory
 2017-11-10 23:12:41 +00:00
Vladimír Čunát e62e4c1e4a
Merge #31210: licenses.ffsl: it's non-free 2017-11-10 19:46:21 +01:00
Drew Hess 67ba83a934 kernel: add beagleboard.org kernel 
And update the existing platform variant to use it
 2017-11-09 18:28:14 +02:00
Sergey Alexandrov 1f5c2833e9 mpdas: init at 0.4.4 (#31398) 
* mpdas: init at 0.4.4

* mpdas: read config from /etc instead from nix store
 2017-11-08 21:28:53 +00:00
Tom Macdonald 7b8e40c6b1 procodile: init at 1.0.17 2017-11-07 17:04:50 +01:00
Tor Hedin Brønner 6949cfa58e nix-zsh-completions: 0.3.1 -> 0.3.2 
Adds support for nix1.12 and various improvements.
 2017-11-06 19:07:36 +01:00
Sean Zicari 0711fe96f2 xosview2: init at 2.2.2 (#30629) 2017-11-06 09:55:23 +08:00
Michael Raskin 6475fa9b25
Merge pull request #31298 from timokau/sage-fix 
sage: 6.8 -> 8.0
 2017-11-06 01:25:28 +00:00
Timo Kaufmann fe68ba81d2 sage: 6.8 -> 8.0 
This "un-breaks" sage while also updating it to 8.0.

It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.

To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
 2017-11-05 17:37:40 -06:00
Tuomas Tynkkynen 8c190c3f7d lib/types.nix: Disable 32-bit integer types for now 
This file doesn't evaluate in 32-bit versions of Nix because the integer
type is a signed 32-bit integer there, so 4294967296 causes an 'invalid
integer' error.  I see no other way around than commenting this out :(

(s32 could be made to work by tweaking the expressions a bit, but didn't
do that for now since it'd be asymmetric to have s32 but no u32).
 2017-11-05 22:47:09 +02:00
Tuomas Tynkkynen 0d9f2f0bb4 platforms.nix: Clean up more 'uboot' legacy 
For a while now, the only thing the 'uboot' attribute does is to tell
whether to add ubootTools to kernel/initrd builds. That can be
determined with platform.kernelTarget == "uImage" just as well.
 2017-11-05 17:06:59 +02:00
Profpatsch 213bd2847b lib/types: fix up documentation formatting a bit 2017-11-05 15:56:32 +01:00
Profpatsch 462c048c77 lib/types: add ints.positive. 
For values that are positive, but cannot be 0.
 2017-11-05 15:56:32 +01:00
Profpatsch 1158910676 lib/types: match lowercase descriptions of other types 2017-11-05 15:56:32 +01:00
Profpatsch c85f085062 lib/types: update docs to match the new type names 2017-11-05 15:56:32 +01:00
Profpatsch f8e6cd3465 lib/types: add tests for ints.between and ints.unsigned 
The int types are trivial invocations of `ints.between`, so they are not tested
explicitely.
 2017-11-05 15:56:32 +01:00
Profpatsch 77648da233 lib/types: signed -> s, unsigned -> u, remove signed alias 
Mirrors the way it’s done in modern low-level languages like Rust (by input of
@nbp).
Removes the signed alias for int.
 2017-11-05 15:56:32 +01:00
Profpatsch 7fcd3892a9 lib/types: remove port type again 
Will be introduced as a taggedUnion, once that type is in nixpkgs.
 2017-11-05 15:56:32 +01:00
Profpatsch c776489cac lib/types: add port type 2017-11-05 15:56:32 +01:00
Profpatsch 281d071b6a lib/types: add various signed/unsigned int types 
It is sometimes necessary to restrict the domain of integers for configurations,
as well as restricting them to unsigned/positive values.
 2017-11-05 15:56:32 +01:00
Profpatsch af424a607c lib/modules: Change type error to be gramatically nicer 
Before:
  <x> is not a integer between 0 and 100 (inclusively).
(notice that “a” is wrong, it should be “an”)
Now:
  <x> is not of type `integer between 0 and 100 (inclusively)'.

This sounds a bit more formal, but circumvents the grammatical problems.
Multi-word type descriptions are also easier to see.
 2017-11-05 15:56:32 +01:00
Profpatsch c53d874277 lib/types: add intBetween 
An int type that checks the value range.
 2017-11-05 15:56:32 +01:00
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
Frank Doepper 9bda3f2943 licenses.ffsl: non-free 
FFSL forbids commercial redistribution
 2017-11-03 22:42:25 +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
Nicolas B. Pierron 1d56d0c8a7 types.submodule: Fix the NixOS Manual, by escaping the <> symbols. 2017-10-30 17:52:00 +00:00
Nicolas B. Pierron d8987135c2 types.submodule: Replace a friendly comment by a more gentle one. 2017-10-30 13:06:18 +01: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
Drew Hess ceb2b71f69 kernel: Build Tegra PCI support. 2017-10-18 02:31:18 +03: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
tv bc03222bde types: remove loeOf 2017-10-05 21:06:48 +02: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
Orivej Desh 9592bf8c24 Merge pull request #29947 from symphorien/giac 
giac, xcas: init at 1.4.9
 2017-09-30 22:50:53 +00:00
Symphorien Gibol 10a612120f xcas, giac: add myself as maintainer 2017-09-30 21:40:50 +02:00
Shea Levy 1a1ad1a17d Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs" 
This reverts commit c3af1210b4, reversing
changes made to 49f175cd0c.
 2017-09-29 09:11:26 -04:00
Shea Levy 8f33315f8f Revert "Fix evaluation" 
Reverting #27319

This reverts commit 751d397ad4.
 2017-09-29 09:10:48 -04:00
Shea Levy ca535da1fb Revert "Fix tarball" 
Reverting #27319

This reverts commit 9ce7175cfe.
 2017-09-29 09:10:30 -04:00
Shea Levy d96da5af87 Revert "Avoid polluting lib namespace unncessarily" 
Reverting #27319

This reverts commit 01a3f0b8aa.
 2017-09-29 09:09:53 -04:00
Shea Levy 01a3f0b8aa Avoid polluting lib namespace unncessarily 2017-09-28 18:51:20 -04:00
Shea Levy 9ce7175cfe Fix tarball 2017-09-28 18:44:10 -04:00
Shea Levy 751d397ad4 Fix evaluation 2017-09-28 18:40:11 -04:00
Shea Levy c3af1210b4 Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs 2017-09-28 18:10:50 -04:00
Franz Pletz 46b0bca808 Merge pull request #29761 from Infinisil/xwinwrap 
xwinwrap: init at 4
 2017-09-28 01:18:02 +02:00
Yegor Timoshenko 0ddca0715a epsxe: init at 2.0.5 (#29810) 
* epsxe: init at 2.0.5

* epsxe: nitpicks
 2017-09-26 20:06:22 +01:00
Francesco Gazzetta 1d163835c8 bash-supergenpass: init at 2012-11-02 (#29797) 
* Add fgaz to mantainers

* bash-supergenpass: init at 2012-11-02
 2017-09-26 11:01:11 +01:00
Jörg Thalheim 8a1fb4b504 Merge pull request #29702 from robertodr/watson-ruby 
watson-ruby: init at 1.6.3
 2017-09-25 15:51:17 +01:00
Roberto Di Remigio d1aed97aa0 maintainers.nix: add robertodr 2017-09-25 14:50:51 +01:00
Roberto Di Remigio d706fc953d sort maintainers.nix 2017-09-25 14:50:31 +01:00
Joachim F e23973fa4e Merge pull request #29694 from etu/testssl-sh 
testssl.sh: init at 2.9.5-1
 2017-09-25 12:58:12 +00:00
Silvan Mosberger 5a9e28190c
xwinwrap: init at 4 2017-09-25 05:27:00 +02:00
Miguel de la Cruz 4994e3f2c2 gpac: 0.5.0 -> 0.7.1 2017-09-24 17:45:47 +01:00
Richard Ipsum 3d278be9ae luxio: Add maintainer 2017-09-24 15:59:43 +01:00