Commit graph

57994 commits

Author SHA1 Message Date
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
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
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
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
Domen Kožar
5a0208d117 Merge pull request #6360 from nckx/add-vim-wakatime
vim-plugins: add wakatime
2015-02-16 11:54:07 +01:00
Eelco Dolstra
fb72208bcf nvidia-x11: Update to 340.76 2015-02-16 11:49:17 +01:00
Wout Mertens
65438da88a Merge pull request #6357 from NixOS/jobs-vs-users
nix-daemon: Sanity check maxJobs vs nrBuildUsers
2015-02-16 11:42:24 +01:00
Rob Vermaas
824fccd3e9 Move amazon option out of amazon-image.nix, needed to make ec2.hvm usable from nixops, without breaking evaluation for other backends.
(cherry picked from commit 213fe8427c5ce455b893c0c5c56cc38175bf36b7)
2015-02-16 09:57:19 +00:00
Peter Simons
85e2076a0b haskell-amazonka-ecs: fix build with ghc 7.8.x 2015-02-16 10:43:36 +01:00
Peter Simons
92934f386e haskell-hypher does not compile with GHC 7.8.x due to mtl 2.2.x requirement. 2015-02-16 10:42:11 +01:00
Peter Simons
ce7b7c51e3 haskell-scotty-binding-play: test suite requires network access 2015-02-16 10:12:33 +01:00
Peter Simons
8e4a473fd7 haskell-amazonka-glacier: fix build with GHC 7.8.x 2015-02-16 10:10:06 +01:00
Peter Simons
d2322bca84 haskell-lucid-foundation does not compile. 2015-02-16 10:06:13 +01:00
Peter Simons
98476e9c51 haskell-mp does not compile. 2015-02-16 10:04:33 +01:00
Peter Simons
b548adf58d haskell-hwsl2 does not compile. 2015-02-16 10:01:17 +01:00
Peter Simons
6ba8720a56 haskell-configuration-tools: the Cabal issue has been fixed, but the library still depends on mtl 2.2.x 2015-02-16 10:00:49 +01:00
Peter Simons
a2a87c9126 hackage-packages.nix: re-generate from Hackage 2015-02-16T09:28:28+0100 2015-02-16 09:28:28 +01:00
William A. Kennington III
50bcf4583f zfs_git: Update 2015-02-15 23:59:27 -08:00