Commit Graph

1573 Commits

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