about summary refs log tree commit diff
path: root/lib
AgeCommit message (Collapse)AuthorFilesLines
2017-11-05lib/modules: Change type error to be gramatically nicerProfpatsch1-1/+1
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-05lib/types: add intBetweenProfpatsch1-0/+6
An int type that checks the value range.
2017-11-05Merge pull request #25552 from antonxy/masterMichael Raskin1-0/+1
lightworks: init at 14.0.0
2017-11-04acl2: 6.5 -> 7.4, refactorKeshav Kini1-0/+1
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-04stdenv.lib.maintainers: add c0bw3bRenaud1-0/+1
2017-11-04Merge pull request #30942 from andrestylianos/jokerOrivej Desh1-0/+1
joker: init at 0.8.6
2017-11-04joker: init at 0.8.6André Stylianos Ramos1-0/+1
2017-11-03licenses.ffsl: non-freeFrank Doepper1-0/+1
FFSL forbids commercial redistribution
2017-11-02add sorki to maintainersRichard Marko1-0/+1
2017-11-01pythonPackages.rply: move to python-modules/Andrew R. M1-1/+1
2017-10-30types.submodule: Fix the NixOS Manual, by escaping the <> symbols.Nicolas B. Pierron1-1/+1
2017-10-30types.submodule: Replace a friendly comment by a more gentle one.Nicolas B. Pierron1-2/+11
2017-10-29PlexPy: init at 1.4.25Christopher Singley1-0/+1
2017-10-29vulnix: 1.2.2 -> 1.3.4Christian Kauhaus1-0/+1
The build needs the ZODB fix in PR #30925 to succeed.
2017-10-29Merge pull request #30907 from iblech/patch-1Daiderd Jordan1-1/+1
maintainers.nix: fix tiny typo
2017-10-28maintainers.nix: fix tiny typoIngo Blechschmidt1-1/+1
2017-10-29gradio: init at 6.0.2Sam Parkinson1-0/+1
2017-10-28maintainers: add dizferDavid Izquierdo1-0/+1
2017-10-28sshlatex: init at 0.7Ingo Blechschmidt1-0/+1
2017-10-25kitty: init at 0.4.2 (#30687)Milan Svoboda1-0/+1
* 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-25svgcleaner: init at v0.9.1mehandes1-0/+1
Svgcleaner is a tool for fast and safe svg optymalization.
2017-10-25Merge pull request #30721 from xzfc/xpointerbarrierFranz Pletz1-0/+1
xpointerbarrier: init at 17.10
2017-10-24Merge pull request #30750 from kuznero/pr/dotnet-sdkDaniel Peebles1-0/+1
dotnet-sdk: init at 2.0.3
2017-10-24Merge pull request #30697 from earldouglas/avian-maintainersJoachim F1-0/+1
avian: add meta.maintainers
2017-10-25dotnet-sdk : init at 2.0.3Roman Kuznetsov1-0/+1
2017-10-24notify-desktop: init at 0.2.0Yellow Ghost1-0/+1
notify-desktop package added improved code synopsis
2017-10-24meritous: init at 1.4Alex Vorobiev1-0/+1
2017-10-23maintainers: add xzfcAlbert Safin1-0/+1
2017-10-22avian: add meta.maintainersJames Earl Douglas1-0/+1
2017-10-21Added joncojonathan to maintainersjoncojonathan1-0/+1
Motivation for change: I'm working on things more, so figured it was wise.
2017-10-19Merge pull request #30503 from guibou/guibou_vfx_pkgsFrederik Rietdijk1-0/+1
Many packages used in computer animation industry
2017-10-19maintainers: add Kevin QuickKevin Quick1-0/+1
2017-10-18Add *guibou* in maintainersGuillaume Bouchard1-0/+1
2017-10-18kernel: Build Tegra PCI support.Drew Hess1-0/+3
2017-10-14announce myself as a maintainerHerwig Hochleitner1-0/+1
added maintainer entries for `cdemu` (which i've created), as well as `wine` and `chromium` (which I regularly contribute to)
2017-10-14notmuch-bower: init at 2017-09-27 (#29856)Justin Humm1-0/+1
* bower: init and add erictapen as maintainer * bower: fix up * notmuch-bower: rename from bower
2017-10-12Merge pull request #30079 from chpatrick/mate-power-managerJörg Thalheim1-0/+1
mate-power-manager: init at 1.18.0
2017-10-12mate-power-manager: init at 1.18.0Patrick Chilton1-0/+1
2017-10-12guzzle_sphinx_theme: init at 0.7.11Florian Klink1-0/+1
* 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-11Adds dupgit to the maintainersdupgit1-0/+1
2017-10-07Merge pull request #30203 from andir/add-dnstracerJörg Thalheim1-0/+1
dnstracer: init at 1.9
2017-10-07maintainers: add andirAndreas Rammhold1-0/+1
2017-10-07maintainers: add caternSpencer Baugh1-0/+1
2017-10-06Merge pull request #30146 from dpflug/masterJörg Thalheim1-0/+1
tqsl: init at 2.3.1
2017-10-06maintainers.nix: update emailRommel Martinez1-1/+1
2017-10-05tqsl: init at 2.3.1David Pflug1-0/+1
2017-10-05types: remove loeOftv1-19/+0
2017-10-04Merge pull request #30086 from TealG/axoloti-1.0.12Jörg Thalheim1-0/+1
axoloti: init at 1.0.12-1
2017-10-04axoloti: init at 1.0.12-1Teal Gaure1-0/+1
2017-10-04fastlane: init at 2.60.1Peter Romfeld1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-15 18:43:05 +0000