JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
130,382 Commits 1 Branch 0 Tags 12 GiB
d90fa004b4
Commit Graph

1780 Commits

Author SHA1 Message Date
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