about summary refs log tree commit diff
path: root/lib
Commit message (Collapse)AuthorAge
...
| * | | | licenses.ffsl: non-freeFrank Doepper2017-11-03
| | | | | | | | | | | | | | | | | | | | FFSL forbids commercial redistribution
* | | | | kernel: add beagleboard.org kernelDrew Hess2017-11-09
| |/ / / |/| | | | | | | And update the existing platform variant to use it
* | | | mpdas: init at 0.4.4 (#31398)Sergey Alexandrov2017-11-08
| | | | | | | | | | | | | | | | | | | | | | | | * mpdas: init at 0.4.4 * mpdas: read config from /etc instead from nix store
* | | | procodile: init at 1.0.17Tom Macdonald2017-11-07
| | | |
* | | | nix-zsh-completions: 0.3.1 -> 0.3.2Tor Hedin Brønner2017-11-06
| | | | | | | | | | | | | | | | Adds support for nix1.12 and various improvements.
* | | | xosview2: init at 2.2.2 (#30629)Sean Zicari2017-11-06
| | | |
* | | | Merge pull request #31298 from timokau/sage-fixMichael Raskin2017-11-06
|\ \ \ \ | | | | | | | | | | sage: 6.8 -> 8.0
| * | | | sage: 6.8 -> 8.0Timo Kaufmann2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | | lib/types.nix: Disable 32-bit integer types for nowTuomas Tynkkynen2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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).
* | | | | platforms.nix: Clean up more 'uboot' legacyTuomas Tynkkynen2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | | lib/types: fix up documentation formatting a bitProfpatsch2017-11-05
| | | | |
* | | | | lib/types: add `ints.positive`.Profpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | For values that are positive, but cannot be 0.
* | | | | lib/types: match lowercase descriptions of other typesProfpatsch2017-11-05
| | | | |
* | | | | lib/types: update docs to match the new type namesProfpatsch2017-11-05
| | | | |
* | | | | lib/types: add tests for `ints.between` and `ints.unsigned`Profpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | The int types are trivial invocations of `ints.between`, so they are not tested explicitely.
* | | | | lib/types: signed -> s, unsigned -> u, remove signed aliasProfpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Mirrors the way it’s done in modern low-level languages like Rust (by input of @nbp). Removes the signed alias for int.
* | | | | lib/types: remove port type againProfpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | Will be introduced as a taggedUnion, once that type is in nixpkgs.
* | | | | lib/types: add port typeProfpatsch2017-11-05
| | | | |
* | | | | lib/types: add various signed/unsigned int typesProfpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | It is sometimes necessary to restrict the domain of integers for configurations, as well as restricting them to unsigned/positive values.
* | | | | lib/modules: Change type error to be gramatically nicerProfpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | | lib/types: add intBetweenProfpatsch2017-11-05
| | | | | | | | | | | | | | | | | | | | An int type that checks the value range.
* | | | | Merge pull request #25552 from antonxy/masterMichael Raskin2017-11-05
|\ \ \ \ \ | |/ / / / |/| | | | lightworks: init at 14.0.0
| * | | | lightworks: init at 14.0.0Anton Schirg2017-05-08
| | | | |
* | | | | acl2: 6.5 -> 7.4, refactorKeshav Kini2017-11-04
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | | stdenv.lib.maintainers: add c0bw3bRenaud2017-11-04
| | | | |
* | | | | Merge pull request #30942 from andrestylianos/jokerOrivej Desh2017-11-04
|\ \ \ \ \ | |_|/ / / |/| | | | joker: init at 0.8.6
| * | | | joker: init at 0.8.6André Stylianos Ramos2017-11-04
| | | | |
* | | | | add sorki to maintainersRichard Marko2017-11-02
| | | | |
* | | | | pythonPackages.rply: move to python-modules/Andrew R. M2017-11-01
| | | | |
* | | | | types.submodule: Fix the NixOS Manual, by escaping the <> symbols.Nicolas B. Pierron2017-10-30
| | | | |
* | | | | types.submodule: Replace a friendly comment by a more gentle one.Nicolas B. Pierron2017-10-30
| | | | |
* | | | | PlexPy: init at 1.4.25Christopher Singley2017-10-29
|/ / / /
* | | | vulnix: 1.2.2 -> 1.3.4Christian Kauhaus2017-10-29
| | | | | | | | | | | | | | | | The build needs the ZODB fix in PR #30925 to succeed.
* | | | Merge pull request #30907 from iblech/patch-1Daiderd Jordan2017-10-29
|\ \ \ \ | | | | | | | | | | maintainers.nix: fix tiny typo
| * | | | maintainers.nix: fix tiny typoIngo Blechschmidt2017-10-28
| | | | |
* | | | | gradio: init at 6.0.2Sam Parkinson2017-10-29
|/ / / /
* | | | maintainers: add dizferDavid Izquierdo2017-10-28
| | | |
* | | | sshlatex: init at 0.7Ingo Blechschmidt2017-10-28
| | | |
* | | | kitty: init at 0.4.2 (#30687)Milan Svoboda2017-10-25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* | | | svgcleaner: init at v0.9.1mehandes2017-10-25
| | | | | | | | | | | | | | | | Svgcleaner is a tool for fast and safe svg optymalization.
* | | | Merge pull request #30721 from xzfc/xpointerbarrierFranz Pletz2017-10-25
|\ \ \ \ | | | | | | | | | | xpointerbarrier: init at 17.10
| * | | | maintainers: add xzfcAlbert Safin2017-10-23
| | | | |
* | | | | Merge pull request #30750 from kuznero/pr/dotnet-sdkDaniel Peebles2017-10-24
|\ \ \ \ \ | | | | | | | | | | | | dotnet-sdk: init at 2.0.3
| * | | | | dotnet-sdk : init at 2.0.3Roman Kuznetsov2017-10-25
| |/ / / /
* | | | | Merge pull request #30697 from earldouglas/avian-maintainersJoachim F2017-10-24
|\ \ \ \ \ | | | | | | | | | | | | avian: add meta.maintainers
| * | | | | avian: add meta.maintainersJames Earl Douglas2017-10-22
| |/ / / /
* | | | | notify-desktop: init at 0.2.0Yellow Ghost2017-10-24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | notify-desktop package added improved code synopsis
* | | | | meritous: init at 1.4Alex Vorobiev2017-10-24
|/ / / /
* | | | Added joncojonathan to maintainersjoncojonathan2017-10-21
| | | | | | | | | | | | | | | | Motivation for change: I'm working on things more, so figured it was wise.
* | | | Merge pull request #30503 from guibou/guibou_vfx_pkgsFrederik Rietdijk2017-10-19
|\ \ \ \ | | | | | | | | | | Many packages used in computer animation industry
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 21:40:17 +0000