alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
50704 commits 217 branches 121 tags 4.5 GiB
Commit graph

50704 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jaka Hudoklin ed53f57c9f Merge pull request #4475 from matejc/megaglest 
megaglest: new package
 2014-10-12 22:57:56 +02:00
Peter Simons 1907146ab9 Merge pull request #4501 from edwtjo/cmdtheline-patch 
haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch
 2014-10-12 21:55:36 +02:00
Edward Tjörnhammar e485bfd213 haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch 2014-10-12 21:52:48 +02:00
Peter Simons 1658c545d4 Merge pull request #4502 from grwlf/screen-256color 
screen: enable 256 colors
 2014-10-12 21:45:58 +02:00
Bjørn Forsman 61388880d8 lua-packages.nix: whitespace fixes 2014-10-12 21:06:20 +02:00
Michael Raskin 3d75833956 Update vanity counter. Now with GitHub username support 2014-10-12 23:05:27 +04:00
Michael Raskin 6465d684b8 Improve name quoting to correctly handle underscore 2014-10-12 23:05:27 +04:00
Sergey Mironov efcb363ea9 screen: enable 256 colors 2014-10-12 20:47:47 +04:00
Peter Simons 525a850511 thc-hydra: don't call this package "hydra"; that name is taken in NixOS 2014-10-12 17:34:49 +02:00
Aristid Breitkreuz e6277bd958 the sha256 of cups 1.5.4 was that of a HTML (broken in md5->sha256 update) 2014-10-12 16:52:54 +02:00
taku0 7175fdcd71 oraclejdk: bump to 8u20 
Closes #4492
 2014-10-12 15:43:44 +01:00
Vincent Laporte fe1d8d0015 cvc4: new derivation 
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
 2014-10-12 16:21:02 +02:00
Vincent Laporte af7cb557fb libantlr3c: new derivation 
libantlr3c is the C runtime library of ANTLR v3

Homepage: http://www.antlr3.org/
 2014-10-12 16:21:02 +02:00
Vincent Laporte 531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Peter Simons 950adbe487 Merge pull request #4498 from robberer/remove/md5 
change md5sum to sha256sum for a few packages
 2014-10-12 16:20:10 +02:00
Peter Simons fa00a9bfdc haskell-packages.nix: remove if-then-else case distinctions by compiler version 
These decisions belong into haskell-defaults.nix.
 2014-10-12 16:17:08 +02:00
Longrin Wischnewski 6e7de2155b change md5sum to sha256sum for a few packages 2014-10-12 16:13:21 +02:00
Peter Simons 258a47fcc7 haskell-xmobar: update to version 0.22.1 2014-10-12 16:12:27 +02:00
Aristid Breitkreuz 61ea009f3b Merge pull request #4458 from offlinehacker/pkgs/gotools 
golang: add golint and gotags
 2014-10-12 15:57:45 +02:00
Aristid Breitkreuz 76255516c2 Merge pull request #4480 from sepi/lilypond-2.18.2 
lilypond: updated from 2.16.2 to 2.18.2
 2014-10-12 15:49:31 +02:00
Raffael Mancini ff3dde4904 lilypond: updated from 2.16.2 to 2.18.2 2014-10-12 14:52:55 +02:00
Thomas Strobel bd57c29032 Update vim plugin vimproc, and add patch for ghc-mod vim plugin 
Closes #4490
 2014-10-12 13:20:04 +01:00
Longrin Wischnewski 51648727f5 arduino-core: bump version from 1.0.2 to 1.0.6 
- replace fetchurl with fetchgit because googlecode is unmaintained
- remove unnecessary phases
- change license and maintainers
- tested with a few sketches and inotool

- change description according to "Contributors Guide"

change fetchgit to fetchFromgitHub

Closes #4449
 2014-10-12 12:42:57 +01:00
Domen Kožar 37e1794425 Revert "xulrunner: update from 31.0 to 32.0" 
This reverts commit 109547b902.

Breaks on 32bit linux: http://hydra.nixos.org/eval/1154529#tabs-still-fail
 2014-10-12 13:38:42 +02:00
Mateusz Kowalczyk b0258a5d17 Merge pull request #4462 from VShell/discount 
discount: new package
 2014-10-12 12:37:50 +01:00
Edward Tjörnhammar 9701d58e28 xbmcPlugins.genesis: added package 
Closes #4482
 2014-10-12 12:35:09 +01:00
taku0 08cd49e4e0 peco: update to version 0.2.10 
Closes #4489
 2014-10-12 12:33:16 +01:00
Mateusz Kowalczyk d285aece7b tibia: update to 10.59 2014-10-12 12:33:04 +01:00
Arseniy Seroka b8252a4494 apulse: add pkg 
Closes #4488
 2014-10-12 12:21:09 +01:00
Shell Turner 0b649538b2 discount: Added shell as maintainer 2014-10-12 12:09:07 +01:00
Alastair Pharo f522344285 Update pure to 0.62 
Closes #4486
 2014-10-12 12:08:29 +01:00
Mateusz Kowalczyk 110c2d68d0 Merge pull request #4484 from edwtjo/idea-updates 
Idea updates
 2014-10-12 12:06:08 +01:00
Michael Raskin 299abee9ab Update wpa_supplicant 2014-10-12 12:34:16 +04:00
Michael Raskin 1602f9b90a Update hostapd 2014-10-12 12:34:16 +04:00
Edward Tjörnhammar d975ba397c idea.android-studio: bump 0.8.10 -> 0.8.12 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar 9eb5fef92f idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5 2014-10-12 10:27:10 +02:00
Edward Tjörnhammar a4d94a0042 idea.desktop: fixed that the item got malformed Comment input 2014-10-12 10:27:10 +02:00
John Wiegley 7821d15299 coqPackages.domains: new expression 2014-10-11 22:01:46 -05:00
John Wiegley f300c68977 coqPackages.ynot: remove broken tag 2014-10-11 19:32:16 -05:00
John Wiegley 904bee0c46 coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions 2014-10-11 17:24:59 -05:00
Peter Simons 0a259ea888 Merge pull request #4461 from VShell/libsieve 
libsieve: new package
 2014-10-11 23:44:34 +02:00
John Wiegley 382badfefb coqPackages.bedrock: new expression 2014-10-11 16:22:15 -05:00
Joachim Schiele df95acd13c Merge pull request #3960 from flosse/prosody-service 
Prosody service
 2014-10-11 23:10:05 +02:00
Aristid Breitkreuz 982364b212 awesome: generate manpages 2014-10-11 21:56:50 +02:00
Pascal Wittmann a1cf6de6c8 Merge pull request #4446 from nathanielbaxter/dev/keepass 
keepass: Bump version to 2.28
 2014-10-11 21:00:29 +02:00
John Wiegley 814961f37a coqPackages.tlc: new expression 2014-10-11 13:29:45 -05:00
Domen Kožar 47182da0a3 remove pythonPackages.ssl reference 2014-10-11 20:29:17 +02:00
Domen Kožar 482779e582 python: get rid of ssl module as it's always builtin 2014-10-11 20:23:51 +02:00
John Wiegley f310d73ac1 coqPackages.containers: set broken to false 2014-10-11 13:02:22 -05:00
John Wiegley a064080d8c coqPackages.containers: correct sha256 for the tarball 2014-10-11 13:00:22 -05:00