Commit graph

1596 commits

Author SHA1 Message Date
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
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
Eshin Kunishima 05ce88e6dd
migmix: init at 20150712 2017-11-21 20:28:27 +09: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
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 d7aefea2ef maintainers: add backuitist 2017-11-17 12:23:44 +00:00
Samuel Leathers 07bd44b558
dotty: init at 0.4.0-RC1 2017-11-15 11:13:39 -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
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