JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
57,109 Commits 2 Branches 0 Tags 13 GiB
b3118791e3
Commit Graph

49021 Commits

Author SHA1 Message Date
Vincent Laporte
a931de00b3 lambda-term: update from 1.6 to 1.8 2015-01-28 12:03:25 +01:00
Vincent Laporte
66e2f50416 cmdliner requires OCaml ≥ 4 2015-01-28 12:03:25 +01:00
Edward Tjörnhammar
da91fff493 Merge pull request #5959 from malyn/fix-rcm-paths 
rcm: Use Nix store path for RCM_LIB
 2015-01-28 11:36:25 +01:00
koral
758d8d9287 shelly: 1.5.6 -> 1.6.0 2015-01-28 11:30:19 +01:00
lethalman
b97ce8750f Merge pull request #5847 from arno01/opendkim 
Enable IPv6 in libmilter
 2015-01-28 11:12:05 +01:00
lethalman
56f829e460 Merge pull request #5940 from badi/mendeley 
new package: Mendeley
 2015-01-28 10:57:11 +01:00
Damien Cassou
cda6c039d3 Fix pythonPackages.vobject not building in Python3 2015-01-28 10:48:28 +01:00
lethalman
79d5d95a53 Merge pull request #5973 from nckx/add-exfat-utils 
Add exfat-utils 1.1.1: free exFAT file system utilities
 2015-01-28 10:40:52 +01:00
lethalman
7be008e166 Merge pull request #5970 from nckx/add-clex 
Add clex 4.6.patch6: full-screen terminal file manager
 2015-01-28 10:30:01 +01:00
lethalman
136eea2c16 Merge pull request #6014 from malyn/fix-i3lock-man 
i3lock: Make sure that man pages get installed
 2015-01-28 10:25:06 +01:00
lethalman
2f395150eb Merge pull request #6010 from svenkeidel/zeal 
zeal: new package
 2015-01-28 10:21:16 +01:00
Michael Alyn Miller
ed359e453c
i3: Make sure that man pages get installed 2015-01-28 08:00:30 +01:00
Michael Alyn Miller
264da9e509 i3lock: Make sure that man pages get installed 2015-01-27 20:49:09 -08:00
Thomas Tuegel
a47cfb4ac6 add plasma-5.2 2015-01-27 22:16:31 -06:00
宋文武
e772707042 ostree: Update to 2015.3 2015-01-28 10:39:02 +08:00
宋文武
035865d82b libgsystem: Update to 2015.1 2015-01-28 10:35:20 +08:00
宋文武
8267dc061d appstream: Update to 0.8.0 2015-01-28 10:23:42 +08:00
taku0
c5079ee886 Update firefox-bin to 35.0.1 2015-01-28 09:49:33 +09:00
Sven Keidel
92d4ec2ce8 zeal: new package 2015-01-28 00:02:50 +01:00
Bart Brouns
6abc915f6c # This is a combination of 2 commits. 
# The first commit's message is:

add sooperlooper

# The 2nd commit message will be skipped:

#	add sooperlooper
 2015-01-27 19:17:52 +01:00
Bart Brouns
81f0af0274 Merge branch 'master' of https://github.com/NixOS/nixpkgs 2015-01-27 19:04:51 +01:00
Eelco Dolstra
6f8fad2253 Remove executable bits from non-executable files 2015-01-27 18:54:38 +01:00
Matej Cotman
7e1e553cb8 nixui: update to 0.1.2 (close #6005) 2015-01-27 18:19:39 +01:00
Ricardo M. Correia
f46a6c92c0 flashplayer: Update from 11.2.202.438 -> 11.2.202.440 2015-01-27 17:22:30 +01:00
Thomas Tuegel
28f7f0a1a2 add kde-frameworks-5.6 2015-01-27 07:31:04 -06:00
Peter Simons
7aaa2437eb hackage-packages.nix: re-generate from Hackage 2015-01-27T14:25:36+0100 2015-01-27 14:25:30 +01:00
Peter Simons
6b261cc4d4 rPackages: allow users to override the version of R to be used for building 2015-01-27 14:04:54 +01:00
Peter Simons
e13a30333b stellarium: update from 0.12.4 to 0.13.2 2015-01-27 14:04:54 +01:00
Peter Simons
520cba52fc pigz: update from 2.3.1 to 2.3.3, potentially fixes CVE-2015-1191 2015-01-27 14:04:54 +01:00
Peter Simons
e3639c03f2 mailman: update from 2.1.17 to 2.1.18 2015-01-27 14:04:54 +01:00
Peter Simons
76a0ee1945 lxc: update from 1.0.6 to 1.0.7 2015-01-27 14:04:54 +01:00
Peter Simons
7185c6150c ipmitool: update from 1.8.14 to 1.8.15 2015-01-27 14:04:54 +01:00
Peter Simons
4dac26b569 ikiwiki: update from 3.20141016.1 to 3.20150107 2015-01-27 14:04:54 +01:00
Peter Simons
e4a58244d8 gravit: update from 0.5.0 to 0.5.1 2015-01-27 14:04:54 +01:00
Peter Simons
f049629524 astyle: update from 2.04 to 2.05.1 2015-01-27 14:04:54 +01:00
Peter Simons
86a90f55d6 adns: update from 1.4 to 1.5.0 2015-01-27 14:04:54 +01:00
Peter Simons
b5ed72ceec rcs: update from 5.9.3 to 5.9.4 2015-01-27 14:04:54 +01:00
Peter Simons
96aa27c772 pspp: update from 0.8.2 to 0.8.3 2015-01-27 14:04:54 +01:00
Peter Simons
e1c72b6bd3 yap: update from 6.2.2 to 6.3.3 2015-01-27 14:04:53 +01:00
lethalman
cd487d6489 Merge pull request #5911 from echo-oddly/leocad 
new package: leocad
 2015-01-27 12:59:26 +01:00
Mateusz Kowalczyk
ed943be5d8 tibia: update to 10.74 2015-01-27 11:54:41 +00:00
Domen Kožar
98f650a477 Merge pull request #5943 from offlinehacker/pkgs/pythonPackages/polylint 
pythonPackages: add polylint, polymer linting tool
 2015-01-27 10:48:54 +01:00
Domen Kožar
09d8b0fca6 Merge pull request #5989 from skityl/master 
Updated version number
 2015-01-27 10:38:26 +01:00
Domen Kožar
1a466f463d Merge pull request #5826 from tinkerthaler/master 
Add PyChart 1.39 as pychart in the Python packages
 2015-01-27 10:35:50 +01:00
Domen Kožar
dad8b95ea5 Merge pull request #5946 from richardlarocque/loxodo2 
Add Loxodo to python-packages.nix
 2015-01-27 10:32:02 +01:00
Domen Kožar
e387389d9f pync: not broken anymore 2015-01-27 10:23:24 +01:00
Thomas Strobel
f0228c6eb2 Add: nix-template-rpm: Script to generate templates of nix expressions from RPM .spec files 2015-01-27 01:18:52 -08:00
Cray Elliott
a9b774204b Update GHC 7.10.1 expression to RC2 2015-01-26 22:41:27 -08:00
Ricardo M. Correia
934ea63e8f firefox: Update from 35.0 -> 35.0.1 2015-01-27 04:39:45 +01:00
Ricardo M. Correia
27eb5adac7 icedtea7: Update from 2.5.3 -> 2.5.4 
Contains 17 security fixes.
 2015-01-27 04:39:15 +01:00
Ricardo M. Correia
2ee7809ac9 cargoSnapshot: Update from 2014-12-30 -> 2015-01-24 2015-01-27 04:36:37 +01:00
Thomas Tuegel
63ec1a9677 add stable attrs for plasma5, kf5, and kdeApps 2015-01-26 21:01:07 -06:00
Thomas Tuegel
c6f1c75472 kdeApps: update to 14.12.1 2015-01-26 21:01:06 -06:00
Thomas Tuegel
dfe1dc0c02 xdg-utils: patch xdg-open to use KDE 5 tools 2015-01-26 21:01:06 -06:00
Thomas Tuegel
726b80bc87 startkde: don't split script between NixOS module and package 2015-01-26 21:01:06 -06:00
Thomas Tuegel
95d23beb8d startkde: explain presence of entire script 2015-01-26 21:01:05 -06:00
Thomas Tuegel
a0b811a08c kdeApps_14_12.ark: wrap PATH for unzip 2015-01-26 21:00:40 -06:00
Thomas Tuegel
f2ac29aac2 add top-level kde5 attribute 2015-01-26 21:00:39 -06:00
Thomas Tuegel
1fbecd1295 gcc-wrapper: comment on alternate setup hook 
We now have an alternate setup hook for gcc-wrapper that uses -I to add
include paths rather than -isystem. The latter flag can change the
search order specified by the build system. For KDE 5 packages, we don't
want that!
 2015-01-26 21:00:39 -06:00
Thomas Tuegel
5a52ddb243 kf5, plasma5, kdeApps: add documentation for maintainers 2015-01-26 21:00:39 -06:00
Thomas Tuegel
5dcd61d7b3 phonon_qt5_backend_vlc: fix src url 2015-01-26 21:00:39 -06:00
Thomas Tuegel
8fb5494309 add kde-applications-14.12.1 2015-01-26 20:59:52 -06:00
Thomas Tuegel
62bfe75d42 add plasma-5.1.2 2015-01-26 20:59:52 -06:00
Thomas Tuegel
1b884b49a6 add kde-frameworks-5.5 2015-01-26 20:59:52 -06:00
Thomas Tuegel
8994b50dda orion: add GTK3 theme 2015-01-26 20:59:51 -06:00
Thomas Tuegel
f34c22047d libarchive-conduit: add foreign dependency 2015-01-26 20:59:51 -06:00
Thomas Tuegel
8be6792829 autonix: add Nix library 2015-01-26 20:59:51 -06:00
Thomas Tuegel
5360bbfb62 quassel: add Qt 5 version 2015-01-26 20:59:51 -06:00
Thomas Tuegel
3319507b70 poppler: add Qt 5 version 2015-01-26 20:59:50 -06:00
Thomas Tuegel
d927da8dae gcc-wrapper: parameterize setup-hook 
The default setup-hook for gcc-wrapper adds include directories with
-isystem, which upsets the order -I flags are processed. This adds an
alternative setup-hook that only uses -I flags. The build system's
ordering of -I flags is then respected. This is important when different
packages provide includes with the same name, such as building packages
that depend on Qt4 and Qt5.
 2015-01-26 20:59:50 -06:00
Thomas Tuegel
bf3260a1b5 phonon: add Qt 5 library and backends 2015-01-26 20:59:50 -06:00
Thomas Tuegel
c63594acf1 libdbusmenu_qt: add Qt 5 version 2015-01-26 20:59:49 -06:00
Thomas Tuegel
d06b75b421 clementine: wrap for GST_PLUGINS_PATH 2015-01-26 20:59:49 -06:00
Mateusz Kowalczyk
edae98d029 youtube-dl: update to 2015.01.25 2015-01-27 00:46:24 +00:00
Austin Seipp
4b8728b0a2 Merge pull request #5993 from nckx/update-manpages 
Update (kernel) manpages 3.75 -> 3.78
 2015-01-26 17:49:09 -06:00
Austin Seipp
fbb81f2780 Merge pull request #5971 from nckx/update-ccache 
Update ccache 3.1.10 -> 3.2.1
 2015-01-26 17:48:56 -06:00
Charles Strahan
5a73cda9b5 terminal-notifier: add package 2015-01-26 17:06:20 -05:00
Peter Simons
334a186340 hackage-packages.nix: re-generate from Hackage 2015-01-26T16:59:26+0100 2015-01-26 22:37:54 +01:00
Tobias Geerinckx-Rice
b7b6c93efd Update (kernel) manpages 3.75 -> 3.78 2015-01-26 19:57:22 +01:00
Tobias Geerinckx-Rice
220c578f76 Update gparted 0.19.1 -> 0.21.0 2015-01-26 19:50:53 +01:00
Pascal Wittmann
593e829d18 accountsservice: update from 0.6.39 to 0.6.40 2015-01-26 17:51:46 +01:00
skityl
400adb7ec4 Bumped version of irssi-0.8.16 to irssi-0.8.17 
Signed-off-by: skityl <mopofhair@gmail.com>
 2015-01-27 00:57:19 +11:00
koral
1b3553863a swftools: 0.8.1 -> 0.9.2 2015-01-27 00:47:28 +11:00
cillianderoiste
b6c1d73aec Merge pull request #5987 from k0ral/swftools 
swftools: 0.8.1 -> 0.9.2
 2015-01-26 13:26:34 +01:00
Domen Kožar
7c0dbdb3b2 fix eval 2015-01-26 12:11:39 +01:00
Eelco Dolstra
fa4d1e1b0a Merge pull request #5963 from ttuegel/firefox-mime 
firefox: set mime-type in desktop entry
 2015-01-26 12:10:35 +01:00
Georges Dubus
d4e7fd8384 Merge pull request #5969 from nckx/update-stress-ng 
Update stress-ng 0.03.10 -> 0.03.11
 2015-01-26 12:07:53 +01:00
koral
0490d597df swftools: 0.8.1 -> 0.9.2 2015-01-26 12:05:37 +01:00
Domen Kožar
2c35ed3929 remove duplicated pythonPackages.beautifulsoup 2015-01-26 12:02:19 +01:00
Mateusz Kowalczyk
ff643e8095 haskell-resourcet: update to 1.1.3.3 2015-01-26 11:00:28 +00:00
Mateusz Kowalczyk
28fcd16af2 haskell-conduit: update to 1.2.3.1 2015-01-26 11:00:28 +00:00
Mateusz Kowalczyk
b4bd89eccf haskell-monad-control: update to 1.0.0.2 2015-01-26 11:00:27 +00:00
Domen Kožar
da0207b75c Merge pull request #5978 from malyn/fix-freerdp-pcsclite-path 
freerdp: Use absolute path when calling dlopen
 2015-01-26 11:46:05 +01:00
Sander van der Burg
c3a1231f52 python-beautifulsoup3: new package 2015-01-26 10:36:30 +00:00
Sander van der Burg
86f635aad8 python-html2text: add package 2015-01-26 10:36:30 +00:00
Domen Kožar
42bd43fbc4 pync: mark as broken 2015-01-26 11:02:10 +01:00
Domen Kožar
142c42ec21 Merge pull request #5974 from nckx/update-sdparm 
Update sdparm 1.08 -> 1.09
 2015-01-26 10:39:50 +01:00
Domen Kožar
e16630d40e Merge pull request #5983 from matejc/newnixui 
nixui: update to 0.1.1
 2015-01-26 10:31:33 +01:00
Peter Simons
282fd58c85 r-curl: help the package find curl's headers 2015-01-26 10:23:34 +01:00
Matej Cotman
f550c76d0e nixui: update to 0.1.1 2015-01-26 10:21:24 +01:00
Peter Simons
fc3dd0226d ocaml-ocurl: fix evaluation 2015-01-26 09:48:08 +01:00
Peter Simons
893d0cad56 hackage-packages.nix: re-generate from Hackage 2015-01-26T08:49:04+0100 2015-01-26 09:43:26 +01:00
aszlig
9343f6f461
chromium: Ensure runtime deps for enabled plugins. 
We're propagating the plugin flags by importing from another Nix
expression file, which in turn exports the Nix path to the wrapper. This
causes that the store path isn't referenced in the wrapper and the path
isn't recognized by scanning the wrapper script (only those already
referenced at build time are).

So let's add the activated plugins to the buildInputs of the wrapper.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2015-01-26 09:31:03 +01:00
aszlig
ced5afc38c
chromium: Update all channels to latest versions. 
This brings a new stable version 40.0.2214.91 along with a beta update
to version 41.0.2272.16, the dev channel is still stuck at version
41.0.2272.12 and within the next days will jump to version 42.

For this reason, I've done some cheating here and brought the beta
channel in par with the dev channel, because dev is older than beta on
OmahaProxy.

Here's an overview of the channel upgrades:

stable: 39.0.2171.65 -> 40.0.2214.91 [1]
beta:   40.0.2214.10 -> 41.0.2272.16 [1] [2] [3]
dev:    41.0.2224.3  -> 41.0.2272.16 [1] [2] [3]

[1]: We needed to patch in locations of lib{pci,udev}.so, because
     Chromium tries to load them at runtime. For version 41 startup will
     fail if it is unable to load libudev, but it also has the advantage
     that this fixes GPU detection using libpci in the stable version,
     which in turn could fix a few bugs on NixOS.

[2]: The upstream Debian package for the binary plugins now uses XZ
     compression for the enclosed data tarball.

[3]: Chromium 41 needs {shapshot,natives}_blob.bin in order to start up,
     so let's cp it among with the .pak files to avoid adding a
     conditional for version 40.

The release annoucement of the stable channel update can be found here:

http://googlechromereleases.blogspot.de/2015/01/stable-update.html

Note that this release contains 62 security fixes(!) and I'm hereby
apologizing for the delay of this update.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2015-01-26 09:31:03 +01:00
David Virgilio
cd96404ff9 new package: leocad 2015-01-26 01:44:33 -06:00
Peter Simons
ebc0ecd50a Merge pull request #5686 from dbeecham/master 
Added haskell-web-routes-happstack, bump haskell-prelude.
 2015-01-26 08:29:13 +01:00
Peter Simons
2ecf63c2d8 Merge pull request #5835 from AndersonTorres/shells 
Shells
 2015-01-26 08:26:22 +01:00
Michael Alyn Miller
1751ee35aa freerdp: Use absolute path when calling dlopen 2015-01-25 20:43:36 -08:00
Tobias Geerinckx-Rice
3ea2b48fe6 Update fuse-exfat 1.0.1 -> 1.1.0 2015-01-26 04:43:55 +01:00
Tobias Geerinckx-Rice
9a28d27c6a Update ccache 3.1.10 -> 3.2.1 2015-01-26 04:41:30 +01:00
Julian K. Arni
9d0f45df90 Add haskell package logsink. 2015-01-26 11:37:11 +08:00
Tobias Geerinckx-Rice
93faf4cc33 Update sdparm 1.08 -> 1.09 
Also specify licence & maintain
 2015-01-26 04:35:18 +01:00
Tobias Geerinckx-Rice
65c21a71bb Add exfat-utils 1.1.1: free exFAT file system utilities 2015-01-26 04:24:15 +01:00
Charles Strahan
24b5eb61eb fetchzip: fix unpacking regression 
This resolves a regression introduced in fc01353703, where providing a
name without a proper extension breaks existing uses of fetchzip (they
now fail to unpack). Of particular note, that commit broke all uses of
fetchFromGitHub because it uses a name like so: "${repo}-${rev}-src"

Fixes #5954
 2015-01-25 20:16:21 -05:00
Jaka Hudoklin
4631ea8ed9 rabbitmq: update 3.3.5 -> 3.4.3 2015-01-26 02:09:04 +01:00
Jaka Hudoklin
400bfdf4ef nodePackages.bip-pod: fix package 2015-01-26 02:09:04 +01:00
AndersonTorres
58061d9ede MKSH (version R50d): New Package 
MKSH is the MirBSD Korn Shell.
 2015-01-25 22:09:44 -02:00
Moritz Ulrich
fc4d437fd1 Dwarf Therapist: Update to git-prerelease. 
Necessary to support Dwarf Fortress 0.40.24.
 2015-01-26 00:00:57 +01:00
Moritz Ulrich
171bb614f2 Dwarf Fortress: Update to 0.40.24. 2015-01-26 00:00:31 +01:00
Michael Alyn Miller
41de5f60cd rcm: Use Nix store path for RCM_LIB 
The shell scripts in the rcm package use a relative path in order to
find the rcm.sh library.  That works fine when rcm is installed with
nix-env -- ~/.nix-profile/share/rcm exists as expected -- but does not
work when installed via /etc/nixos/configuration.nix.  In the
system-wide case, /run/current-system/sw/share does not contain the rcm
directory.
 2015-01-25 14:59:04 -08:00
Tobias Geerinckx-Rice
f59ba9a4a6 Update stress-ng 0.03.10 -> 0.03.11 2015-01-25 23:40:34 +01:00
Moritz Ulrich
54cfcbc826 isync: update from 1.1.1 to 1.1.2 2015-01-25 22:37:34 +01:00
Charles Strahan
e47e284775 ruby: remove obsolete attrs 2015-01-25 16:28:20 -05:00
Charles Strahan
cb395eaadb gitlab-shell: fix evaluation 2015-01-25 16:28:20 -05:00
Charles Strahan
6eaa419920 gitlab: fix evaluation 2015-01-25 16:28:18 -05:00
Charles Strahan
989a894fc8 ruby: patch path in tzdata gem 2015-01-25 16:22:30 -05:00
Charles Strahan
1057f2e8ad gist: fix evaluation 2015-01-25 16:22:30 -05:00
Benno Fünfstück
0b9af69347 kpcli: XMLParser is required for KeePass2 format 2015-01-25 22:10:10 +01:00
Benno Fünfstück
be58ce4815 google-drive-ocamlfuse: new expression 2015-01-25 22:10:09 +01:00
Thomas Tuegel
3c15d2aa0d firefox: set mime-type in desktop entry 2015-01-25 14:43:42 -06:00
Tobias Geerinckx-Rice
c052751aba Add clex 4.6.patch6: full-screen terminal file manager 2015-01-25 20:56:28 +01:00
Thomas Tuegel
f4c2ded737 Merge pull request #5947 from nckx/update-stress-ng 
Update stress-ng 0.03.09 -> 0.03.10
 2015-01-25 11:33:06 -06:00
Badi' Abdul-Wahid
32670b75f3 restrict platforms to Linux 2015-01-25 12:27:53 -05:00
Edward O'Callaghan
2ba0f5701d Minor fixes to libbladeRF package 
Use proper cmake Nix hooks over custom config step.

 * Fix udev rule installation.
 * Make a few cosmetic changes and ensure USB 3.0 support is a dependency.

N.B. Documentation installation still remains broken upstream.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
 2015-01-26 04:17:32 +11:00
Badi' Abdul-Wahid
0caeb839e5 typo fix 2015-01-25 12:12:58 -05:00
Badi' Abdul-Wahid
b80847b3e5 rename to default.nix 2015-01-25 12:08:50 -05:00
Badi' Abdul-Wahid
4544cdc508 cleanup description 2015-01-25 12:08:01 -05:00
Cillian de Róiste
18a317c7a9 DISTRHO: disable the build temporarily 
The repo has been split into smaller repos and it will require some more
work to get it building again and to figure out which ports and plugins
to include.
 2015-01-25 15:47:13 +01:00
Andrey Arapov
7a7e59d2a9 socat: Update from 1.7.2.4 to 1.7.3.0, fixes a possible denial of service attack 
socat: Update from 1.7.2.4 to 1.7.3.0, fixes a possible denial of service attack
(CVE Id pending), improves SSL client security, and provides a couple of bug and
porting fixes.

Among new features, socat now enables OpenSSL server side use of ECDHE ciphers,
providing PFS (Perfect Forward Secrecy)

http://www.dest-unreach.org/socat/doc/CHANGES
 2015-01-25 13:48:11 +01:00
Jaka Hudoklin
15b6886aed Merge pull request #5948 from flosse/tor-browser-update 
nixpkgs: torbrowser 4.0.2 -> 4.0.3
 2015-01-25 13:01:16 +01:00
Edward O'Callaghan
67aec4b2d8 Provide libbladeRF package support 
The BladeRF Software Defined Radio (SDR) is an open-source hardware
platform for radio research. This package provides the libbladeRF
system library and the corresponding bladeRF-cli tooling.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
 2015-01-25 22:49:27 +11:00
Edward Tjörnhammar
35af8c6105 Merge pull request #5935 from malyn/ccze 
Add ccze
 2015-01-25 10:22:21 +01:00
Edward Tjörnhammar
0691a2c915 Merge pull request #5919 from pjones/feature/pwsafe 
New package: pwsafe (Password Safe)
 2015-01-25 10:21:42 +01:00
Tobias Geerinckx-Rice
5f7ebd07c6 Add keyfinder-cli: musical key detection 2015-01-25 10:17:49 +01:00
Tobias Geerinckx-Rice
7ccc6a3620 Add keyfinder: musical key detection gui 2015-01-25 10:17:49 +01:00
Tobias Geerinckx-Rice
be42ead349 Add libkeyfinder: musical key detection library 2015-01-25 10:17:48 +01:00
Markus Kohlhase
8295846f6f nixpkgs: torbrowser 4.0.2 -> 4.0.3 2015-01-25 09:03:19 +00:00
Tobias Geerinckx-Rice
16597fed98 stress-ng 0.03.09 -> 0.03.10 2015-01-25 09:00:09 +01:00
Vladimír Čunát
45a34f65fe meld: drop gnome2.scrollkeeper (no longer used) 
Also indent the overlong lines in the expression.
 2015-01-25 08:59:05 +01:00
Vincent Laporte
88d31f6db0 coqPackages: add contribs (close #5242) 
The Coq Users' Contributions

Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/index
 2015-01-25 07:36:10 +01:00