Commit Graph

58008 Commits

Author SHA1 Message Date
Peter Simons
3f2513ddbc haskell-vcache: doesn't compile because of broken dependencies 2015-02-17 13:51:19 +01:00
Peter Simons
29e3bc30b3 haskell-digestive-foundation-lucid does not compile. 2015-02-17 13:51:19 +01:00
Damien Cassou
453c26abe7 Merge pull request #6397 from DamienCassou/simpleparse
Add the simpleparse python package
2015-02-17 13:43:38 +01:00
Damien Cassou
a45acf1b29 Add the simpleparse python package 2015-02-17 13:42:31 +01:00
lethalman
00ebcd0c36 Merge pull request #6387 from nathanielbaxter/dev/cdrtools
cdrtools: Update to 3.00
2015-02-17 13:12:39 +01:00
Edward Tjörnhammar
47203a86bf unison: sha correction 2015-02-17 12:35:29 +01:00
Edward Tjörnhammar
17e6dd2da3 ideas: refactoring, remove snappyPatch as all derivative products are based on the 14 series 2015-02-17 12:27:08 +01:00
Nathaniel Baxter
0d1a707784 cdrtools: Add unfree license 2015-02-17 22:23:10 +11:00
lethalman
e24004fea9 Merge pull request #6377 from ehmry/mawk
mawk: initial package at 1.3.4-20141206
2015-02-17 12:06:21 +01:00
Peter Simons
0145793b92 hackage-packages.nix: re-generate from Hackage 2015-02-17T11:57:38+0100 2015-02-17 11:57:38 +01:00
Domen Kožar
3dbde25855 Merge pull request #6381 from olavks/numpyfix
Numpy: remove slow building and little used math library for more commonly used openblas
2015-02-17 11:13:58 +01:00
Damien Cassou
8be35e6efe Merge pull request #6391 from DamienCassou/update-pylint-astroid
update pylint, astroid, six, and logilab-common
2015-02-17 11:08:37 +01:00
vbgl
82312e3b7b Merge pull request #6388 from nathanielbaxter/dev/gecode
gecode: update from 4.3.0 to 4.3.3
2015-02-17 11:05:53 +01:00
Damien Cassou
c9b4cb56ae update pylint, astroid, six, and logilab-common
pylint 1.4.0 -> 1.4.1
astroid 1.3.2 -> 1.3.4
six 1.8.0 -> 1.9.0
logilab-common 0.61.0 -> 0.63.2
2015-02-17 11:02:31 +01:00
Marco
5f6e6b1661 Update HOL Light to r218 2015-02-17 10:23:51 +01:00
Nathaniel Baxter
b19da5ba23 gecode: update from 4.3.0 to 4.3.3 2015-02-17 18:50:48 +11:00
Joel Taylor
4b6d83199a Fix temp directory paths for GHC 7.0.4 on Darwin
This is a remnant of https://github.com/NixOS/nixpkgs/pull/6268
2015-02-16 23:42:59 -08:00
Nathaniel Baxter
2366453d2f cdrtools: Update to 3.00 2015-02-17 18:00:53 +11:00
William A. Kennington III
aeb0db3def Merge pull request #6383 from codyopel/vid-stab
vid-stab: add package
2015-02-16 21:59:16 -08:00
codyopel
534332eaf7 vid-stab: add package 2015-02-17 00:54:23 -05:00
William A. Kennington III
35041e4051 Merge pull request #6382 from mvcisback/moreItertools
MoreItertools package has a typo causing builds to fail.
2015-02-16 21:51:21 -08:00
Marcell Vazquez-Chanlatte
7ad16801b0 moreItertools package had typo 2015-02-16 23:41:22 -06:00
William A. Kennington III
7dda2b30dd Merge pull request #6373 from mvcisback/moreItertools
Added more-itertools-2.2 python package
2015-02-16 20:47:53 -08:00
Tobias Geerinckx-Rice
a8ddd89f82 all-packages: move my first packages to correct ### SECTIONs 2015-02-17 05:33:40 +01:00
Tobias Geerinckx-Rice
607cc808d8 coan: run checks 2015-02-17 05:13:40 +01:00
Olav
380bd3f48a Numpy: Replace ATLAS and liblapack with openblas (that has blas and lapack).
Was previously with ATLAS [Automatically Tuned Linear Algebra Software].
This takes ages and has little to no performance benefit over openblas+lapack.
And if you need this performance, you should really built it against your own hardware.
2015-02-17 03:59:27 +00:00
Marcell Vazquez-Chanlatte
5e328ef690 fix indentation 2015-02-16 21:30:21 -06:00
William A. Kennington III
a52343ffe1 Merge pull request #6379 from benley/update-rbtools
rbtools: update to 0.7.1
2015-02-16 19:02:21 -08:00
William A. Kennington III
d847059c55 Merge pull request #6380 from codyopel/docker-fix
docker: fix shebangs, closes #6368
2015-02-16 19:01:27 -08:00
codyopel
6d3fee045a docker: fix shebangs, closes #6368 2015-02-16 21:41:46 -05:00
Benjamin Staffin
fbeae50296 rbtools: update to 0.7.1
Change-Id: Ib41400507447564375a2ec61467b2ceb148e663c
2015-02-16 16:41:31 -08:00
Emery Hemingway
71ad263151 mawk: initial package at 1.3.4-20141206 2015-02-16 18:57:57 -05:00
Antoine R. Dumont
172d78923b Add microscheme derivation
(A Scheme subset for Atmel microcontrollers.)

Use of the actual git HEAD because the actual tarball compiles but
segfault at runtime.

Upload the BLINK.ms sample on arduino board (/dev/ttyACM0):

```sh
$ sudo ./result/bin/microscheme -m UNO -d /dev/ttyACM0 -auc ~/repo/perso/microscheme/examples/BLINK.ms
Microscheme 0.8, (C) Ryan Suchocki
>> Treeshaker: After 4 rounds: 84 globals purged! 22 bytes will be
reserved.
>> 18 lines compiled OK
>> Assembling...
>> Uploading...

avrdude: AVR device initialized and ready to accept instructions

Reading | ################################################## | 100%
0.00s

avrdude: Device signature = 0x1e950f
avrdude: reading input file
"/home/tony/repo/perso/microscheme/examples/BLINK.hex"
avrdude: writing flash (2080 bytes):

Writing | ################################################## | 100%
0.35s

avrdude: 2080 bytes of flash written

avrdude: safemode: Fuses OK (E:00, H:00, L:00)

avrdude done.  Thank you.

>> Cleaning Up...
>> Finished.
```
2015-02-16 23:09:48 +01:00
Antoine R. Dumont
9b81fa284f Fix avr-gcc url
New releases have been made and the current one is now an old one.
2015-02-16 23:08:05 +01:00
James Cook
602860e259 Merge pull request #6352 from falsifian/sox_CVE-2014-8145
sox: Patches for CVE-2014-8145
2015-02-16 13:39:11 -08:00
James Cook
6daf9aa922 Merge pull request #5995 from ts468/qemu-vm
Update QEMU Nixos Virtual Machine
2015-02-16 13:13:26 -08:00
Aristid Breitkreuz
6aa43976a7 update http-types 2015-02-16 21:06:29 +01:00
Marcell Vazquez-Chanlatte
3c06b41c26 Added more-itertools-2.2 python package 2015-02-16 13:57:44 -06:00
Thomas Strobel
80afabd5b5 Update QEMU Nixos Virtual Machine
The Nixos Qemu VM that are used for VM tests can now start without
boot menu even when using a bootloader.
The Nixos Qemu VM with bootloader can emulate a EFI boot now.
2015-02-16 20:07:42 +01:00
Evgeny Egorochkin
4621f16b34 azure: add a job to download ssh host and root keys if they are made available via "custom data"; see #3986 2015-02-16 16:54:30 +02:00
vbgl
0c4ac4b936 Merge pull request #6349 from gfxmonk/ounit2
Update OUnit to version 2.0.0
2015-02-16 15:15:04 +01:00
Luca Bruno
915075ca0e Revert "nfs-utils: update from 1.2.5 to 1.3.1"
This reverts commit bde3fe2335.
2015-02-16 13:59:34 +01:00
Luca Bruno
8b666652a5 Revert "nfs-utils: Build and update for 1.3.2"
This reverts commit a4ef29c499.
2015-02-16 13:59:34 +01:00
Vincent Laporte
9128cf6944 ocaml-lwt: update from 2.4.5 to 2.4.6 2015-02-16 13:31:13 +01:00
Vincent Laporte
c3380ce3b0 smplayer: update from 14.9.0 to 14.9.0.6690 2015-02-16 13:31:13 +01:00
Vincent Laporte
f31d4b6adb Adds ocaml-top
OCaml-Top is a simple cross-platform OCaml code editor built for
top-level evaluation.

Homepage: http://www.typerex.org/ocaml-top.html
2015-02-16 13:31:13 +01:00
lethalman
9c8a89e9f4 Merge pull request #6365 from DamienCassou/umlet-13.2
Umlet 13.1 -> 13.2
2015-02-16 13:20:37 +01:00
Damien Cassou
d69c9bb42d Umlet 13.1 -> 13.2 2015-02-16 13:01:03 +01:00
Pascal Wittmann
9dc36774b3 nzbget: update from 14.1 to 14.2 2015-02-16 12:37:12 +01:00
Eelco Dolstra
5d7000df68 Automatically set nix.nrBuildUsers to at least nix.maxJobs 2015-02-16 12:02:49 +01:00