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