Robbin C
13ea5b65db
wavegain: Add package.
...
This adds wavegain which is a normalizer for WAV audio files.
2015-06-03 11:06:24 +08:00
Eric Seidel
ef667f779f
emacs-packages: separate helm- and persp-projectile from projectile
...
mirrors current MELPA division
2015-06-02 17:01:07 -07:00
Eric Seidel
df95d3eca7
emacs-packages: add perspective-el
2015-06-02 17:01:07 -07:00
Eric Seidel
26a7698116
emacs-packages: haskell-mode 13.12 -> 13.14
2015-06-02 17:01:07 -07:00
Tobias Geerinckx-Rice
b4a3ec347f
git-hub: fix package path...
2015-06-03 01:05:48 +02:00
Tobias Geerinckx-Rice
1a64d9251c
Add git-hub: command line GitHub interface
...
Rather cool, actually.
2015-06-02 23:58:03 +02:00
Michael Raskin
969776564f
Adding TextAdept
2015-06-02 20:32:13 +03:00
Michael Raskin
e66294151a
Adding Lua 5.3, seems to work
2015-06-02 20:32:12 +03:00
Michael Raskin
8daf4f5445
Add Curses development kit
2015-06-02 20:32:12 +03:00
Michael Raskin
747c6e913f
Add gtdialog tool
2015-06-02 20:32:12 +03:00
Arseniy Seroka
546f8edae6
Merge pull request #8120 from benley/prometheus-nginx-exporter
...
New package: prometheus-nginx-exporter
2015-06-02 18:41:59 +03:00
Pascal Wittmann
752528ac9c
add pdfpc, a presenter console with multi-monitor support for PDF files
2015-06-02 13:15:59 +02:00
Richard Zetterberg
1847e204e0
Adds antimony 0.8.0b CAD program
2015-06-02 11:11:39 +02:00
Igor Pashev
95c6b835cb
mwlib may use pyfribidi
2015-06-02 06:14:34 +00:00
Benjamin Staffin
3309a15be9
New package: prometheus-nginx-exporter
...
Adding to the growing collection of prometheus tools...
2015-06-01 15:32:51 -07:00
Benjamin Staffin
23bc70208c
Prometheus: update to 0.14.0
2015-06-01 15:28:47 -07:00
Vincent Laporte
2c9f03ff81
ocaml-async: set attribute to null for unsupported OCaml versions
2015-06-01 22:37:02 +02:00
lethalman
3935379089
Merge pull request #8117 from monocell/add-crackxls
...
new package: crackxls
2015-06-01 18:51:58 +02:00
lethalman
80dd602c48
Merge pull request #7479 from bobvanderlinden/hwinfo
...
added hwinfo
2015-06-01 17:09:00 +02:00
Emil Rangden
10acbd6716
new package: crackxls
2015-06-01 16:15:19 +02:00
Cillian de Róiste
fa3ce48140
Merge pull request #8029 from magnetophon/Ardour3-Ardour4-update
...
ardour: give it all the libs it asks for. ardour3: bugfix
2015-06-01 16:04:10 +02:00
Allen Nelson
23b1950603
switch to sha256 hashes
2015-06-01 08:43:53 -05:00
Eelco Dolstra
0645f5eab7
samba: Revert style changes and get rid of some dependencies
...
Packages like glusterfs are now optional dependencies. A bunch of
dependencies like subunit are gone: as far as I can tell, these are
only used by Samba's test suite, which we're not even running, so
they're pointless.
Fixes #8067 .
2015-06-01 15:35:59 +02:00
codyopel
cdf49bb47a
requests2: 2.6.0 -> 2.7.0
2015-05-31 22:47:31 -04:00
codyopel
f70582e334
responses: 0.2.2 -> 0.4.0
2015-05-31 22:42:53 -04:00
codyopel
b4a99530d1
cookies: add python package
2015-05-31 22:39:02 -04:00
Tobias Geerinckx-Rice
8c4bf0f931
python-packages: prompt_toolkit 0.37 -> 0.38
2015-06-01 04:04:33 +02:00
Arseniy Seroka
80a7cc447c
Merge pull request #8097 from ikervagyok/talkfilters
...
New Package: Gnu Talk Filters
2015-06-01 01:46:00 +03:00
Austin Seipp
f47d22a6f1
nixpkgs: verilator 3.872
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-05-31 17:37:56 -05:00
Arseniy Seroka
58d93d158a
Merge pull request #8060 from hiberno/rofi-pass
...
rofi-pass: initial commit.
2015-06-01 01:28:18 +03:00
Arseniy Seroka
8297b6a125
Merge pull request #7937 from magnetophon/QmidiNet-master
...
add QmidiNet: a MIDI network gateway application
2015-06-01 01:27:52 +03:00
Arseniy Seroka
e33cb69baa
Merge pull request #8027 from magnetophon/mod-distortion-master
...
mod-distortion init at git-2015-05-18
2015-06-01 01:27:37 +03:00
Lengyel Balázs
bd3e162311
Inital Commit for Gnu Talk Filters
2015-05-31 22:49:15 +02:00
Pascal Wittmann
3296b5e6b1
luastdlib: fix build by adding autoreconfHook
2015-05-31 19:00:13 +02:00
Pascal Wittmann
e6ce11f0bd
Merge pull request #8073 from magnetophon/MBdistortion-master
...
init MBdistortion at v1.1
2015-05-31 15:39:09 +02:00
Bart Brouns
5725d6ae7d
init MBdistortion at v1.1
2015-05-31 15:35:12 +02:00
Pascal Wittmann
a281c5189c
Merge pull request #8071 from magnetophon/LazyLimiter-master
...
init LazyLimiter at v0.3.01
2015-05-31 15:03:54 +02:00
Bart Brouns
0eca39174b
init CharacterCompressor CompBus RhythmDelay constant-detune-chorus
...
Basically the same pkg,but with different sources
2015-05-31 14:58:49 +02:00
Bart Brouns
39a9f10ccd
init LazyLimiter at v0.3.01
2015-05-31 14:52:12 +02:00
Bart Brouns
5d53b9d278
init VoiceOfFaust at v0.7
2015-05-31 14:49:13 +02:00
Domen Kožar
64c9485738
Merge pull request #8076 from benley/prometheus-fixdeps
...
prometheus-mesos-exporter: Fix misplaced dependencies
2015-05-31 13:29:05 +02:00
Allen Nelson
2ba1ab3ad1
supporting pandas on osx, added test suite
2015-05-30 20:11:59 -05:00
Vladimír Čunát
4c898aad51
spring: fix build by using older cmake
2015-05-31 00:05:33 +02:00
Vladimír Čunát
098277c2cb
tulip: fix build by using older cmake
...
/cc maintainer @cillianderoiste.
2015-05-30 23:58:26 +02:00
Vladimír Čunát
022f3067f0
yoshimi: fix build, same as octave
2015-05-30 23:06:42 +02:00
Vladimír Čunát
84cd11d54e
tilda: fix build after gnome-3.16 bump
2015-05-30 22:50:09 +02:00
Vladimír Čunát
1ea42506d1
sakura: fix build after gnome-3.16 bump
...
/cc maintainers: @astsmtl, @codyopel.
2015-05-30 22:38:03 +02:00
Vladimír Čunát
ff2ccb2721
linssid: fix build by using qt53
2015-05-30 22:08:09 +02:00
Tobias Geerinckx-Rice
21015ea82f
Add bin_replace_string: edit precompiled binaries
2015-05-30 21:09:26 +02:00
Vladimír Čunát
dd649df4e4
luaPackages: stabilize src hashes by using fetchzip
...
I was getting hash errors in some packages.
2015-05-30 20:58:33 +02:00
Benjamin Staffin
c40c1be798
prometheus-mesos-exporter: Fix misplaced dependencies
...
goPackages.mesos-stats doesn't actually have any dependencies of its
own; the mesos_exporter app does.
2015-05-30 11:50:59 -07:00
Peter Simons
76da869d9a
Merge pull request #8045 from adnelson/numpy_scipy_osx
...
Test suites and working OSX builds for numpy and scipy
2015-05-30 19:26:31 +02:00
Peter Simons
d3073741a3
Merge pull request #8042 from adnelson/liblapack_atlas_dependency_optional
...
Liblapack atlas dependency optional
2015-05-30 19:25:54 +02:00
Peter Simons
baede3f667
Merge pull request #8054 from peti/add-haskell-packages-to-unstable
...
Add "haskellPackages" binaries to the unstable channel.
2015-05-30 18:36:38 +02:00
Vladimír Čunát
45d859192b
clutter-gst_3_0: fix build by using newer clutter
2015-05-30 17:19:32 +02:00
Bart Brouns
1ed1c3ec92
ardour: give it all the libs it asks for. ardour3: bugfix
...
The latest ardour3 release loses audio and midi
files under some conditions.
7024232855
fixes that.
2015-05-30 13:06:48 +02:00
Bart Brouns
292abec58e
mod-distortion init at git-2015-05-18
2015-05-30 10:15:40 +02:00
Benjamin Staffin
1a2f179c32
goPackages.logrus: update to 0.8.2
2015-05-29 17:57:47 -07:00
Jascha Geerds
b5019ffd72
vdirsyncer: Use python2 instead of python3
2015-05-30 01:07:10 +02:00
William A. Kennington III
be5f4082fd
pulseaudio: Remove default derivation
2015-05-29 14:47:33 -07:00
William A. Kennington III
b07929b0a3
Use libpulseaudio instead of pulseaudio
2015-05-29 14:32:56 -07:00
Arseniy Seroka
02fd0c8771
Merge pull request #7742 from magnetophon/guitarix-syslibs-master
...
guitarix: use system zita libs
2015-05-29 23:37:43 +03:00
Allen Nelson
8a965946cb
switched to atlas as a dependency for liblapack by default
2015-05-29 15:16:12 -05:00
Shea Levy
5273166f53
Disable failing DBIxClass tests
...
Seems to be random
2015-05-29 15:16:40 -04:00
Allen Nelson
18bb7a4047
fix undefined variable
2015-05-29 11:05:34 -07:00
William A. Kennington III
7e126ac83e
audit: 2.9.1 -> 2.9.2
2015-05-29 10:29:11 -07:00
William A. Kennington III
b1e4371a1c
389-ds-base: Remove kerberos line as it is strictly dependent on krb5
2015-05-29 10:26:25 -07:00
William A. Kennington III
9f0da5315b
Fix krb5 reference
2015-05-29 10:25:32 -07:00
Allen Nelson
6c238d1d5f
moving non-packages into a separate file
2015-05-29 11:12:55 -05:00
Shea Levy
eb0a21a512
boto: Remove obsolete patch
2015-05-29 11:21:49 -04:00
_1126
c04784dfd6
rofi-pass: initial commit.
2015-05-29 16:42:27 +02:00
Shea Levy
0c5a7d5df2
nix-exec: build against nixUnstable
2015-05-29 09:41:28 -04:00
Bart Brouns
859ec9719b
guitarix: use system zita libs
2015-05-29 14:05:46 +02:00
Peter Simons
c5d132c2ea
Add "haskellPackages" binaries to the unstable channel.
2015-05-29 11:25:26 +02:00
Rok Garbas
bd59bf9a74
cygwin: bash updated to 4.3 for cygwin platform
2015-05-29 10:18:06 +02:00
Peter Simons
d9cc38757a
openssl: add version 1.0.2a as attribute 'openssl_1_0_2'
...
We'll try switching our default version after the 15.06 release has been
branched off. Resolves https://github.com/NixOS/nixpkgs/issues/7970 .
2015-05-29 09:52:29 +02:00
Domen Kožar
7ddb84055c
Merge pull request #8048 from Bsami/remotes/origin/python2.38.0
...
Remotes/origin/python2.38.0
2015-05-29 08:52:29 +02:00
Allen Nelson
3d00848ace
using atlasWithLapack dependency. running test suites for numpy and scipy.
2015-05-29 00:06:57 -05:00
Allen Nelson
e001340cf6
returned to two-file structure for liblapack
2015-05-28 21:49:06 -05:00
Sami BOUHLEL
fb310a6998
added support for boto 2.38.0
2015-05-28 21:15:16 +01:00
Peter Simons
99273a6716
Merge pull request #8047 from nckx/master
...
Don't use "with licenses;" for single licences
2015-05-28 22:14:53 +02:00
Sami BOUHLEL
385936f7d9
added support for boto 2.38.0
2015-05-28 20:53:57 +01:00
Allen Nelson
2c125cf37a
removed default dependency of liblapack on ATLAS. was causing an unnecessary double-build of atlas
2015-05-28 12:39:49 -05:00
Tobias Geerinckx-Rice
158e1cfdd0
Don't use "with licenses;" for single licences
...
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Sander van der Burg
3fa15c820f
doclifter: add new package
2015-05-28 16:13:47 +00:00
Mateusz Kowalczyk
53ff1909cd
Merge pull request #8040 from codyopel/mpv-fix
...
mpv: refactor & fix youtube-dl support
2015-05-28 14:41:44 +01:00
codyopel
ba9867fb5b
mpv: refactor & fix youtube-dl support
2015-05-28 09:30:36 -04:00
Rok Garbas
c9a45f2f62
cygwin: make perl's XMLParser build on cygwin
2015-05-28 14:15:46 +02:00
Rok Garbas
52068e9b6e
cygwin: make perl LocaleGettext also build on cygwin
2015-05-28 14:15:46 +02:00
Rok Garbas
633e734152
cygwin: libiconvReal is used during bootstrapping phase on cygwin
2015-05-28 14:15:46 +02:00
Tobias Geerinckx-Rice
831d597bfa
perl-packages: Finance-Quote 1.35 -> 1.37
2015-05-28 14:06:14 +02:00
Rok Garbas
6a5126348b
rsyslog: krb5 -> libkrb5 argument changed few commits ago
2015-05-28 13:49:17 +02:00
Vladimír Čunát
adea54614d
fltk13, octave: expose fltk13 config and override in octave
...
Octave needs fltk with libxft, see #8007 .
I'm not much familiar with composableDerivation,
so perhaps this change could be done in a better way...
2015-05-28 13:16:02 +02:00
William A. Kennington III
85932bc5a9
krb5: 1.13.1 -> 1.13.2
2015-05-28 02:20:08 -07:00
William A. Kennington III
4389ae5208
libverto: Add derivation
2015-05-28 02:20:08 -07:00
Florian Friesdorf
ebf6d98fc2
cygwin: build perl as usual, no sysPerl
2015-05-28 10:53:34 +02:00
Florian Friesdorf
88e58a4fa2
cygwin: stdenv
2015-05-28 10:53:34 +02:00
William A. Kennington III
21b2858eed
Merge pull request #8019 from codyopel/openjpeg
...
openjpeg: refactor, fixes #8017
2015-05-27 23:34:21 -07:00
Dan Peebles
4d12ea8311
Add micro-httpd package
2015-05-28 03:16:46 +00:00
Arseniy Seroka
98d160e1f0
Merge pull request #7966 from benley/cli53
...
New package: cli53 (AWS Route53 admin CLI tool)
2015-05-28 04:40:21 +03:00
Bjørn Forsman
201059f728
python-pyev: new package
...
Python bindings for the libev library.
https://code.google.com/p/pyev/
2015-05-27 23:00:09 +02:00
Tobias Geerinckx-Rice
b2d7f4b1ba
Use common licence attributes from lib/licenses.nix
...
Many (less easily automatically converted) old-style strings
remain.
Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.
Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
Siarhei Zirukin
4fd635404d
e19: updates for 1.14.0
...
- libraries and applications updated to the latest
- the "elementary getting started" (https://docs.enlightenment.org/auto/elementary/group__Start.html )
works with just `pkg-config --cflags --libs elementary`
- switched from lua-old to elua
2015-05-27 20:06:06 +02:00
William A. Kennington III
b3176951a1
libgcrypt: Disable libcap permission dropping
2015-05-27 10:54:05 -07:00
Pascal Wittmann
5e5eaf0fba
Add autotetris-mode, automatically play emacs tetris
2015-05-27 18:12:25 +02:00
Charles Strahan
b94e4348ac
remove nonexistent "hiew" package
2015-05-27 12:01:26 -04:00
Charles Strahan
069913e1b9
bviplus: new package
...
ncurses based hex editor with a vim-like interface
2015-05-27 11:48:05 -04:00
Charles Strahan
15b9fe1fab
heme: new package
...
A portable and fast console hex editor for unix operating systems.
2015-05-27 11:48:05 -04:00
Charles Strahan
4976bcd218
hexcurse: new package
...
ncurses-based console hexeditor written in C
2015-05-27 11:48:05 -04:00
Charles Strahan
a22cffa7bb
ht: new package
...
HT is a file editor/viewer/analyzer for executables.
2015-05-27 11:48:05 -04:00
codyopel
4587819638
openjpeg: refactor, fixes #8017
...
+ Disable JPIP which requires Java
+ fix typo in nativeBuildInputs, which fixes pkgconfig
2015-05-27 11:48:03 -04:00
Pascal Wittmann
9e0763dd8a
Add lolcat, a rainbow version of cat
...
Closes #3399
2015-05-27 17:02:36 +02:00
lethalman
71fc9aac4d
Merge pull request #7992 from ip1981/mwlib
...
Added mwlib services
2015-05-27 16:59:57 +02:00
Igor Pashev
d88f704516
Pillow requires lcms2 with python2.7 too
2015-05-27 14:55:22 +00:00
Arseniy Seroka
fb49eaa553
Merge pull request #8012 from aycanirican/emacsPackagesNg-web-mode
...
Added web-mode for emacs
2015-05-27 17:33:00 +03:00
Aycan iRiCAN
2a13368678
Added web-mode for emacs
2015-05-27 17:28:34 +03:00
Eelco Dolstra
faff3a44a7
Add libpqxx
2015-05-27 13:21:50 +02:00
lethalman
257c05fa82
Merge pull request #7622 from jzellner/master
...
add goimports package
2015-05-27 10:57:23 +02:00
lethalman
af4d6468b2
Merge pull request #7959 from ikervagyok/darkice
...
New Package: Darkice
2015-05-27 10:51:59 +02:00
Arseniy Seroka
43690ae4ee
Merge pull request #7987 from magnetophon/das_watchdog-master
...
add das_watchdog: a realtime watchdog
2015-05-27 11:47:15 +03:00
Tobias Geerinckx-Rice
60461dee1c
python-packages: pyramid_tm: re-enable checks
...
Tested on x86_64-linux.
If tests still fail elsewhere, disable them (per platform?) with a
more descriptive and up-to-date comment.
2015-05-27 01:37:43 +02:00
Tobias Geerinckx-Rice
2af3773342
python-packages: webtest: unittest2 is a Python package
2015-05-27 01:24:04 +02:00
vbgl
2857d5d7a8
Merge pull request #7823 from ericbmerritt/ocaml-enhancements
...
Ocaml enhancements
2015-05-26 23:52:32 +02:00
Edward Tjörnhammar
f02284a361
activator: add version 1.3.2
2015-05-26 20:56:43 +02:00
Benjamin Staffin
a9b9856c37
New package: cli53 (AWS Route53 admin CLI tool)
2015-05-26 10:29:27 -07:00
Tobias Geerinckx-Rice
3f4bdb8ee0
python-packages: prompt_toolkit 0.26 -> 0.37
2015-05-26 16:36:17 +02:00
Tobias Geerinckx-Rice
184682d4d3
python-packages: pgcli 0.16.3 -> 0.17.0
...
New features:
- Add support for auto-completing view names
- Add support for building RPM and DEB packages
- Add subsequence matching for completion
- Completion for built-in tables and temporary tables are suggested after
entering a prefix of pg_
- Add place holder doc strings for special commands that are planned for
implementation
- Updated version of prompt_toolkit, now matching braces are highlighted
- Added support of \\e command. Queries can be edited in an external editor
- Add special command \dT to show datatypes
- Add auto-completion support for datatypes in CREATE, SELECT etc
- Improve the auto-completion in WHERE clause with logical operators
Bug Fixes:
- Fix the table formatting while printing multi-byte characters
- Fix a crash when pg_catalog was present in search path
- Fixed a bug that broke \e when prompt_tookit was updated
- Fix the display of triggers as shown in the \d output
- Fix broken auto-completion for INNER JOIN, LEFT JOIN etc
- Fix incorrect super() calls in pgbuffer, pgtoolbar and pgcompleter
- Add missing schema completion for CREATE and DROP statements
- Minor fixes around cursor cleanup
2015-05-26 16:20:52 +02:00
Lengyel Balázs
aa1ce46281
Inital commit for Darkice
2015-05-26 15:20:53 +02:00
Bart Brouns
c3b7a8b053
add das_watchdog: a realtime watchdog
2015-05-26 15:13:59 +02:00
Alexander Flatter
d2b906c771
Add heroku-client
2015-05-26 13:05:53 +02:00
Mateusz Kowalczyk
5c401ea5ee
Merge branch 'bitmeter-master' of https://github.com/magnetophon/nixpkgs
2015-05-26 11:39:06 +01:00
Mateusz Kowalczyk
227bc88da6
Merge pull request #7991 from vbgl/gappa
...
Adds gappa 1.2.0
2015-05-26 11:14:20 +01:00
Tobias Geerinckx-Rice
3a61b7fca3
python-packages: clean up meta attribute
...
- Typos: meta.maintainer -> meta.maintainers, licences -> license, ...
- Remove unnecessary stdenv.lib (already in scope for entire file)
- [ maintainers.foo maintainers.bar ] -> with maintainers; [ foo bar ]
Doing so even for single-maintainer packages makes it slightly
more inviting to add others, which can only be a good thing.
2015-05-26 11:54:12 +02:00
Mateusz Kowalczyk
d77bbb0ee3
Merge pull request #8002 from asppsa/pure-packages
...
Fairly complete set of packages for Pure
2015-05-26 10:53:39 +01:00
Tobias Geerinckx-Rice
02e693e1b9
Remove w3c-css-validator
...
Depends on missing tarballs. Broken since 2013.
2015-05-26 11:46:41 +02:00
Tobias Geerinckx-Rice
7b6d9d4cff
Remove arb and then-orphaned lesstif93
...
Arb has been broken (and marked as such) since the removal of
GCC 4.2 in July 2014. Nothing and no-one uses it. Time to go.
2015-05-26 11:46:41 +02:00
lethalman
138a51b84b
Merge pull request #7981 from magnetophon/eq10q-master
...
add eq10q: LV2 EQ plugins and more, with 64 bit processing
2015-05-26 10:44:35 +02:00
lethalman
560b3d2410
Merge pull request #7990 from magnetophon/foo-yc20-master
...
add foo-yc20: a Faust implementation of a combo organ
2015-05-26 10:39:27 +02:00
lethalman
9734bfd792
Merge pull request #7997 from magnetophon/tetraproc-master
...
tetraproc: init at 0.8.2
2015-05-26 10:30:19 +02:00
Alastair Pharo
47aeaf9d04
Fairly complete set of packages for Pure
2015-05-26 17:51:07 +10:00
Mateusz Kowalczyk
1a6e124da8
mpv: use ffmpeg-full when using youtubeSupport
...
We need networking and potentially ssl/tls compiled into ffmpeg but the
minimal ffmpeg_x wrappers no longer offer that. We could of course use
ffmpeg-full and slim it down to just what we need but we'd end up
building ffmpeg twice, might as well stick with full
2015-05-26 05:28:16 +01:00
Bart Brouns
d9c8b1f83a
tetraproc: init at 0.8.2
...
Converts the A-format signals from a tetrahedral Ambisonic microphone into B-format signals ready for recording
2015-05-26 04:17:09 +02:00
Thomas Tuegel
255c0903a1
gnuplot: requires Qt 4
2015-05-25 21:04:01 -05:00
Eric Merritt
c651e7ff61
ocaml-atdgen: add minimal version (1.6.0) to the system
2015-05-25 13:45:10 -07:00
Eric Merritt
7efe850b1d
ocaml-atd: add initial version (1.1.2) to the system
2015-05-25 13:42:07 -07:00
Bart Brouns
73bb94e620
add foo-yc20: a Faust implementation of a combo organ
2015-05-25 22:37:39 +02:00
Bart Brouns
7ad53157e0
add eq10q: LV2 EQ plugins and more, with 64 bit processing
2015-05-25 21:38:39 +02:00
Arseniy Seroka
89810619ff
Merge pull request #7973 from oxij/fetchurl-meta
...
fetchurl: allow adding meta info; fetchFrom*: add meta.homepage
2015-05-25 21:14:35 +03:00
Vincent Laporte
9f1eb28a20
Adds gappa 1.2.0
...
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Homepage: http://gappa.gforge.inria.fr/
2015-05-25 19:32:09 +02:00
Eric Merritt
27541f65f3
ocaml-async_find: add initial version (111.28.00) to the system
2015-05-25 10:16:44 -07:00
Eric Merritt
9c4bda2530
ocaml-async_shell: add initial version (109.28.03) to the system
2015-05-25 10:16:43 -07:00
Eric Merritt
96775f0402
ocaml-jingoo: add initial version (1.2.7) to the system
2015-05-25 10:16:43 -07:00
Eric Merritt
c7ba42a516
ocaml-core_extended: add initial version (112.24.00) to the system
2015-05-25 10:16:43 -07:00
Eric Merritt
da56bd3002
ocaml-textutils: add initial version (112.17.00) to the system
2015-05-25 10:16:42 -07:00
Eric Merritt
59b94c36f8
ocaml-re2: add initial version (112.06.00) to the system
2015-05-25 10:16:38 -07:00
Bart Brouns
3ddaf0c32a
add bitmeter: also known as jack bitscope. Useful to detect denormals.
2015-05-25 18:56:15 +02:00
Aristid Breitkreuz
04656c6f89
Merge branch 'master' of github.com:NixOS/nixpkgs
2015-05-25 15:32:57 +02:00
Aristid Breitkreuz
c03c7791cc
fix roxterm
2015-05-25 15:32:25 +02:00
Edward Tjörnhammar
161fdec0f5
tidy-html5: added package, also provides libtidy5
2015-05-25 15:05:05 +02:00
Bob van der Linden
2f4dc083d5
added hwinfo
2015-05-25 14:17:46 +02:00
Tobias Geerinckx-Rice
8d98f626a1
statifier 1.6.15 -> 1.7.3
...
Also switch to mkDerivation and fix build on amd64.
2015-05-25 13:35:55 +02:00
Tobias Geerinckx-Rice
b10cb12a93
tetgen 1.4.3 -> 1.5.0
...
Keep version 1.4.3 around as `tetgen_1_4`, because the licence
changed from MIT to AGPL3+ in the meantime.
2015-05-25 13:35:54 +02:00
Edward Tjörnhammar
0e9464478d
catch: add version 1.1-3
2015-05-25 10:39:13 +02:00
Thomas Tuegel
d8dab38fda
Merge pull request #7899 from thinkpad20/openblas_on_osx
...
added flags/switches necessary to get openblas to compile on osx
2015-05-24 19:01:50 -05:00
Benjamin Staffin
d3fe5487ad
New package: prometheus-collectd-exporter
2015-05-24 14:33:39 -07:00
Benjamin Staffin
af142824cb
New package: prometheus-mysqld-exporter
2015-05-24 14:08:16 -07:00
Benjamin Staffin
adf59e7110
New package: prom2json
2015-05-24 14:08:16 -07:00
Eric Merritt
e0f3638fde
ocaml-cohttp: add initial version (0.17.1) to the system
2015-05-24 12:33:23 -07:00
Eric Merritt
38cabebc8d
ocaml-alcotest: add initial version (0.3.1) to the system
2015-05-24 12:33:21 -07:00
Eric Merritt
745bb72050
ocaml-conduit: add initial version (0.8.3) to the system
2015-05-24 12:33:20 -07:00
Eric Merritt
1c2fcf4115
ocaml-ipaddr: add version (2.6.1) to the system
2015-05-24 12:33:19 -07:00
Eric Merritt
09c6cc19f2
ocaml-async_ssl: add initial version (112.24.03) to the system
2015-05-24 12:33:14 -07:00
Eric Merritt
fbba3c1c33
ocaml-ctypes: add initial version (0.4.1) to the system
2015-05-24 12:33:13 -07:00
Eric Merritt
cd0836233a
ocaml-async: add initial version (112.24.00) to the system
2015-05-24 12:33:13 -07:00
Eric Merritt
b20b270607
ocaml-async_extra: add initial version (112.24.00) to the system
2015-05-24 12:33:12 -07:00
Eric Merritt
6fe371a695
ocaml-async_unix: add initial version (112.24.00) to the system
2015-05-24 12:33:09 -07:00
Eric Merritt
a129ec1b9b
ocaml-async_kernel: add initial version (112.24.00) to the system
2015-05-24 12:33:07 -07:00
Eric Merritt
ed2782db54
ocaml-core: add initial version (112.24.01) to the system
2015-05-24 12:33:03 -07:00
Eric Merritt
ee089a7f19
ocaml-core_kernel: add initial version (112.24.00) to the system
2015-05-24 12:32:58 -07:00
Eric Merritt
5dc0817b83
ocaml-variantslib: add initial version (109.15.03) to the system
2015-05-24 12:32:57 -07:00
Eric Merritt
e617429759
ocaml-typerep: add initial version (112.24.00) to the system
2015-05-24 12:32:56 -07:00
Eric Merritt
48c98e12d2
ocaml-pipebang: add initial version (110.01.00) to the system
2015-05-24 12:32:55 -07:00
Eric Merritt
74b9ccfe3f
ocaml-pa_test: add initial version (112.24.00) to the system
2015-05-24 12:32:55 -07:00
Eric Merritt
6c2a3f35ea
ocaml-pa_bench: add initial version (112.06.00) to the system
2015-05-24 12:32:54 -07:00
Eric Merritt
86e8c73d7b
ocaml-herelib: add initial version (109.35.02) to the system
2015-05-24 12:32:54 -07:00
Eric Merritt
8a9d5637bc
ocaml-custom_printf: add initial version (112.24.00) to the system
2015-05-24 12:32:53 -07:00
Eric Merritt
12c3b11bf4
ocaml-pa_ounit: add initial version (112.24.00) to the system
2015-05-24 12:32:52 -07:00
Eric Merritt
21fa39af2e
ocaml-comparelib: add initial version (109.60.00) to the system
2015-05-24 12:32:52 -07:00
Eric Merritt
a88b7ed908
ocaml-bin_prot: add initial version (112.24.00) to the system
2015-05-24 12:32:51 -07:00
Eric Merritt
ea0d507935
sexplib: rename from ocaml_sexplib to sexplib
...
There really isn't any need for it to be named ocaml_sexplib
2015-05-24 12:32:50 -07:00
Eric Merritt
cac000d73a
ocaml-sexplib: upgrade to 112.24.01
2015-05-24 12:32:46 -07:00
Eric Merritt
8751d1ea1a
rename ocaml_typeconv to type_conv
...
The actual name of the package is type_conv
(https://github.com/janestreet/type_conv ). Having it named
ocaml_typeconv adds a verbosity that isn't required and actually makes
the package harder to find.
2015-05-24 12:32:45 -07:00
Eric Merritt
82e098fd93
ocaml-typeconv: upgrade to 112.01.01
2015-05-24 12:32:45 -07:00
Pascal Wittmann
72550060dc
Merge pull request #7972 from oxij/add-xbomb
...
xbomb: add version 2.2b
2015-05-24 20:22:56 +02:00
Jan Malakhovski
bdf32ed2ab
fetchurl: allow adding meta info; fetchFrom*: add meta.homepage
...
The point of this is to be able to do `meta.homepage = src.meta.homepage;`
instead of the usual copy-paste for the packages that are hosted
on these hosting services.
2015-05-24 14:26:39 +00:00
Jan Malakhovski
3d02048283
xbomb: add version 2.2b
2015-05-24 14:24:33 +00:00
William A. Kennington III
2ce464dbe9
Merge pull request #7923 from joelmo/patch-4
...
rpy2: disable pypy
2015-05-23 22:54:05 -07:00
William A. Kennington III
171904e873
Merge pull request #7965 from benley/awscli-1.7.29
...
awscli: update to 1.7.29
2015-05-23 22:45:17 -07:00
William A. Kennington III
55636defbc
Merge pull request #7961 from benley/prometheus
...
Update Prometheus and its various helper packages
2015-05-23 22:44:21 -07:00
William A. Kennington III
bb6ac771c4
dnsutils: Add smaller derivation of bind
2015-05-23 22:26:23 -07:00