BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
50459 commits 1 branch 0 tags 3.8 GiB
Commit graph

43119 commits

Author SHA1 Message Date
Austin Seipp
822925b5c3 Merge pull request #4390 from vbgl/compcert 
CompCert: update to 2.4
 2014-10-05 18:11:22 -05:00
Michael Raskin
a69caaa65b Update linux_latest reference to 3.17 2014-10-06 02:56:14 +04:00
Michael Raskin
4397ec5cab Add Linux 3.17 2014-10-06 02:43:58 +04:00
Michael Raskin
a451c62650 Update Wine unstable 2014-10-06 02:43:58 +04:00
Michael Raskin
d04db3bf41 Update SCons 2014-10-06 02:43:58 +04:00
Michael Raskin
e256d6a062 Update sodium to 1.0.0 2014-10-06 02:43:57 +04:00
Michael Raskin
02e221eb11 Fix the version 2014-10-06 02:43:57 +04:00
Michael Raskin
e5c90ad374 Update firejail 2014-10-06 02:43:57 +04:00
Michael Raskin
42baf049c5 Update sysdig 2014-10-06 02:43:57 +04:00
Michael Raskin
517a5dbc18 Only update via external upstream information: nead to specify version format 2014-10-06 02:43:57 +04:00
Michael Raskin
b72a1462e0 Update muPDF 2014-10-06 02:43:57 +04:00
Vincent Laporte
579e74549d CompCert: update to 2.4 2014-10-05 23:38:16 +01:00
Pascal Wittmann
e47819134c gtk-doc: update from 1.18 to 1.21 and add meta information 2014-10-05 22:50:55 +02:00
Eelco Dolstra
58de52c6f0 blender: Update to 2.72 2014-10-05 21:50:22 +02:00
Oliver Charles
91d1ebdd75 haskellPackages.socketIo: Update to 1.1.1 2014-10-05 20:36:12 +01:00
Oliver Charles
cc6dca4c64 haskellPackages.engineIoSnap: Update to 1.0.2 2014-10-05 20:36:12 +01:00
Oliver Charles
37a794841d haskellPackages.engineIo: Update to 1.2.0 2014-10-05 20:36:12 +01:00
Oliver Charles
9e155d6d94 haskellPackages.diagramsGtk: New expression 2014-10-05 20:36:11 +01:00
Baptist BENOIST
46d0ebca70 qtcreator: Update from 3.1.0 to 3.2.0 2014-10-05 21:23:00 +02:00
Aristid Breitkreuz
6c7786074f fix sound in minecraft for pulseaudio users 2014-10-05 19:50:35 +02:00
Aristid Breitkreuz
5c0816567d fix fetchurl 2014-10-05 19:23:27 +02:00
AndersonTorres
5c6170a848 XFCE battery plugin: new package 
Closes #4386
 2014-10-05 17:18:37 +01:00
Ricardo M. Correia
02c8dbe382 rustcMaster: Update to more recent commit and remove patch 
The patch to the tests is now included upstream. Also in this version,
an issue was fixed upstream where LTO would fail with permission denied
in NixOS.
 2014-10-05 17:47:36 +02:00
wmertens
6320c4a980 kde-workspace: Use automatic version (close #4383) 
See https://github.com/NixOS/nixpkgs/pull/4265#discussion_r18430068

This should work but I didn't test it 😁
 2014-10-05 17:05:40 +02:00
Vladimír Čunát
e4436ad841 FONTCONFIG_FILE: remove setters to /etc/fonts/fonts.conf 
Any reasonably new version of fontconfig does search that path by default,
and setting this globally causes problems, as 2.10 and 2.11 need
incompatible configs.

Tested: slim+xfce desktop, chrootenv-ed steam.
I have no idea why we were setting the global variable;
e.g., neither Fedora nor Ubuntu does that.
 2014-10-05 17:05:27 +02:00
Bjørn Forsman
e657a596b1 sweethome3d: update to latest 2014-10-05 15:59:12 +02:00
Mateusz Kowalczyk
bc2ab990cc haskell-vty: update to 5.2.3 2014-10-05 14:58:30 +01:00
Aristid Breitkreuz
596b4b42ed Merge pull request #4378 from abbradar/deadbeef-fix 
fix "Open..." menu items in "deadbeef"
 2014-10-05 14:53:44 +02:00
Aristid Breitkreuz
37357d0c8e Merge pull request #4384 from AndersonTorres/batti 
Batti: adjusting icon paths
 2014-10-05 14:32:12 +02:00
Vincent Laporte
96da271ae0 libmsgpack: update to 0.5.9 2014-10-05 13:23:17 +01:00
AndersonTorres
e7f5263456 Batti: adjusting icon paths 2014-10-05 09:11:35 -03:00
Domen Kožar
d6b7778753 fetchurl: fix mirroring after ecf5a08831 2014-10-05 09:53:18 +02:00
William A. Kennington III
9e5825ba8e iperf: Add major version 3 2014-10-04 17:23:06 -07:00
Eelco Dolstra
ce61353a9f Eliminate some optionals/optionalAttrs calls on the hot path 2014-10-05 01:59:24 +02:00
Pascal Wittmann
65242d4a74 pdfjam: update from 1.20 to 2.08 2014-10-04 23:13:32 +02:00
Peter Simons
b1e52be91d perl-packages.nix: strip trailing whitespace 2014-10-04 22:52:21 +02:00
Peter Simons
1f1971b214 perl-Crypt-RandPasswd: update to version 0.06 
The old version is no longer available for download.
 2014-10-04 22:52:21 +02:00
Peter Simons
1faca0e3d6 perl-Email-Sender: update to version 1.300014 
The old version is no longer available for download
 2014-10-04 22:52:21 +02:00
Peter Simons
dcaa69a2ea perl-Throwable: update to version 0.200010 
The old version is no longer available for download
 2014-10-04 22:52:21 +02:00
Peter Simons
e3c4b9de14 perl-MooX-Types-MooseLike: add version 0.27 2014-10-04 22:52:21 +02:00
Shea Levy
aa847f4772 Update nixUnstable 2014-10-04 16:11:27 -04:00
Daniel Peebles
aa7839c145 Clean up command-line tools a bit to allow us to use an impure 
hdiutil (for an upcoming bootstrapped stdenv for darwin!)

Closes #4382
 2014-10-04 20:21:15 +01:00
Peter Simons
0d32fcad87 haskell-lzma-enumerator: disable builds of this package on 32 bit Linux 
https://github.com/alphaHeavy/lzma-enumerator/issues/2
 2014-10-04 21:15:25 +02:00
Aristid Breitkreuz
71806b7cba Merge pull request #4368 from michelk/r-XML 
r-XML: adding system-dependency libxml2
 2014-10-04 19:56:18 +02:00
Aristid Breitkreuz
25333bd565 Merge pull request #4379 from flazz/master 
cassandra: environment fix for cassandra shell script
 2014-10-04 19:25:37 +02:00
Bjørn Forsman
b17b17be73 python-scipy: update 0.12 -> 0.14 
I successfully built all reverse dependencies, using this procedure[1]:

  $ nix-env -f . -qaP \* --drv-path | sort > l1
  (...modify package...)
  $ nix-env -f . -qaP \* --drv-path | sort > l2
  $ changed=$(diff l1 l2 | awk '{print $2}' | sort | uniq)
  $ nix-build $(for i in $changed; do echo -A $i; done)

[1]: https://nixos.org/wiki/Contributing
 2014-10-04 18:41:42 +02:00
Nathaniel Baxter
ab8ef63ff4 alsa: Add multilib plugin support via "libs" entry in asound config. 
alsa: Remove unused $ALSA_PLUGIN_DIRS support.
 2014-10-04 14:48:58 +02:00
Michael Raskin
02c89b52d9 Update Remind 2014-10-04 16:40:09 +04:00
Michael Raskin
fdad3e5661 Geeqie release is a Git tag, apparently Gitorious gave non-deterministic archive 2014-10-04 16:38:09 +04:00
Michael Raskin
6bbeeb46a3 One more mirror 2014-10-04 16:37:17 +04:00
Peter Simons
8ebba517e2 Merge pull request #4225 from michelk/rJava 
rJava: adding missing dependencies and setting JAVA-env-variables
 2014-10-04 10:31:19 +02:00
Mateusz Kowalczyk
db55a6788a python-xdot: new package 2014-10-04 08:26:34 +01:00
Mateusz Kowalczyk
5bb8260bfb haskell-graphmod: new package 2014-10-04 07:54:12 +01:00
Francesco Lazzarino
94a6db6cda cassandra: environment fix for cassandra shell script 2014-10-03 17:36:50 -05:00
Nikolay Amiantov
1cc3fc871e deadbeef: fix gtk3, use gtk2 by default, allow simultaneous 2014-10-04 01:50:50 +04:00
Cray Elliott
817ebe24ab Update dolphinEmuMaster 
The plan at this point is to update dolphinEmuMaster every month in
tanden with the latest development report on the dolphin-emu.org blog.

Closes #4374
 2014-10-03 20:30:28 +01:00
Bjørn Forsman
4353e5380b youcompleteme (vim plugin): use commit date as version number 
Using a git commit id as version number doesn't work well, so use the
commit date instead.

Also, there is no other version of YouCompleteMe than the git version,
so drop 'git' from the package name.
 2014-10-03 20:53:15 +02:00
Bjørn Forsman
abaf2dbeae youcompleteme (vim plugin): update to latest 
patchShebangs fixes build failure in chroot (in this new version).

The --system-libclang flag is now needed to prevent YouCompleteMe from
trying to download and build clang (which fails).
 2014-10-03 20:51:15 +02:00
Damien Cassou
5d294db3b2 shellcheck is packaged twice 
I removed development/libraries/haskell/ShellCheck and kept
development/tools/misc/ShellCheck.
 2014-10-03 20:16:25 +02:00
Eelco Dolstra
74f7f56439 Merge pull request #4331 from Fuuzetsu/dhcpcd 
dhcpcd: update from 6.4.3 to 6.4.7
 2014-10-03 20:05:56 +02:00
Peter Simons
b55760e83c haskell-sdl2: update to version 1.1.1 2014-10-03 20:02:00 +02:00
Peter Simons
68894fb707 haskell-ghc-parser: re-generate with cabal2nix 2014-10-03 20:02:00 +02:00
Peter Simons
f0e9b680e8 Re-generate Haskell packages with cabal2nix. 2014-10-03 20:02:00 +02:00
Mateusz Kowalczyk
3d26ea99dc Merge pull request #4342 from vbgl/camlp5-6.12 
Camlp5: update to 6.12; hol-light: update to r199
 2014-10-03 18:36:06 +01:00
Peter Simons
d28b75564c Merge pull request #4334 from aaronlevin/wai-util 
Add haskell package wai-util to nixpkgs
 2014-10-03 19:16:38 +02:00
Peter Simons
5e62bd5343 Merge pull request #4272 from edwtjo/ihaskell 
ihaskell: added package
 2014-10-03 19:12:08 +02:00
Peter Simons
d5e622e21e Merge pull request #4375 from linquize/git-2.1.2 
git: Update to 2.1.2
 2014-10-03 19:07:51 +02:00
Eelco Dolstra
31189616e4 Rename chromium-stable -> chromium 
Suffixes like "-stable" are superfluous because packages are assumed
to be stable. This makes "nix-env -i chromium" do the expected thing.
 2014-10-03 17:47:30 +02:00
Linquize
16494e0289 git: Update to 2.1.2 2014-10-03 23:13:38 +08:00
Pascal Wittmann
1a8ca0b8bf calibre: update from 2.4.0 to 2.5.0 2014-10-03 16:21:50 +02:00
Bjørn Forsman
fb8a2b3be7 virt-manager: fix missing schema error 
The dependency on gsettings_desktop_schemas wasn't specified correctly.
Now it works.

Fixes this error, as seen when trying to open a guest VM when
virt-manager is accessed over ssh with X forwarding:

  GLib-GIO-ERROR **: Settings schema 'org.gnome.system.proxy' is not installed
 2014-10-03 16:09:03 +02:00
Domen Kožar
b9eda15dc0 telepathy-qt: specify platforms 2014-10-03 15:27:13 +02:00
Nikita Mikhailov
cb18839669 python-linode: add myself as maintainer, fix meta 2014-10-03 12:18:50 +02:00
Nikita Mikhailov
28a04ae236 Add linode python binding 2014-10-03 12:18:50 +02:00
Sander van der Burg
0960e30121 node-packages: update titanium to latest stable version and update other NPM packages 2014-10-03 11:46:22 +02:00
Pascal Wittmann
806d2aa68c org-mode: update from 8.2.7c to 8.2.8 2014-10-03 11:23:08 +02:00
Domen Kožar
ecf5a08831 Merge pull request #4350 from NixOS/curl_partial_download 
fetchurl: resume download of curl exits with status code 18
 2014-10-03 10:29:27 +02:00
AndersonTorres
bf560ce496 PGF: "upgrade" to version 3.00 
It is not so properly an update, because the old versions will not be
obliterated from Nixpkgs. Hello backwards compatibility, my old friend...
 2014-10-03 00:37:43 -03:00
aszlig
499c51016e
dmraid: Fix install target in lib/Makefile.in. 
The dmraid shared object file is created with a soname that contains a
version. Unfortunately, the install target in the Makefile does not
properly match on files ending with .so and so does not install it with
the version suffix.

Previously we only had a static library, which doesn't do much trouble
if the version is missing, but with the dynamic library the ELF file
depending on libdmraid uses the version, while the library itself isn't
present with that suffix.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-10-03 01:14:53 +02:00
Ricardo M. Correia
14fe149856 firefox: Fix running firefox under grsec kernels 2014-10-03 01:04:37 +02:00
Michael Raskin
561e4211b7 Merge pull request #4110 from cstrahan/update-bud 
update bud to 0.32.0 (WIP)
 2014-10-02 23:32:34 +04:00
Michael Raskin
9aa4f21ae4 Merge pull request #4206 from jagajaga/google-music-manager 
update google music-manager
 2014-10-02 23:22:51 +04:00
Michael Raskin
170a5bfe58 Merge pull request #4207 from joefiorini/patch-1 
Allow ansible to install on darwin platforms
 2014-10-02 23:22:27 +04:00
Edward Tjörnhammar
6becaca7b3 ihaskell: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
949b80a229 system-argv0: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
bf885a8d87 ghc-parser: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
5765ce1b2d here: added package 2014-10-02 20:53:55 +02:00
Rickard Nilsson
1ccb2f76b5 Merge pull request #4078 from edwtjo/libretro-cores-addendum 
XBMC RetroArch integration and some cores
 2014-10-02 20:50:49 +02:00
Michael Raskin
907af9e9e6 Merge pull request #3963 from christopherpoole/geant4 
Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
 2014-10-02 22:42:15 +04:00
Michael Raskin
a650c0e28c Merge pull request #4371 from joachifm/webkit_2_4_6 
webkitgtk: bump to version 2.4.6
 2014-10-02 22:27:04 +04:00
Domen Kožar
91c0ba4b20 pythonPackages.webob: 1.3.1 -> 1.4 2014-10-02 20:09:53 +02:00
Rickard Nilsson
f615942664 Syntax fix for xbmc/retroarch in all-packages.nix 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar
37a83771e6 xmbcPlugins: svtplay added 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar
9d4e344b46 xbmc: enable plugins to be picked up from the store. 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar
9d93f9bcda XBMC AdvancedLauncher RetroArch launchers. 
These are wrappers for retroarch wrappers, they are needed since launching a
process from XBMC(as a display manager and probably otherwise), using
AdvancedLauncher, results in it and it's parent recieving the same gamepad
input.

These wrappers will produce no sound on XBMC and AdvancedLauncher setups not
using a sound daemon, since XBMC gets paused while still holding onto the sound
device.
 2014-10-02 20:09:18 +02:00
Pascal Wittmann
981e93bd34 logstalgia: update from 1.0.3 to 1.0.5 and adopt it 2014-10-02 18:38:30 +02:00
Joachim Fasting
72d7f73a64 webkitgtk: bump to version 2.4.6 2014-10-02 18:37:10 +02:00
Mateusz Kowalczyk
819e4b6a2c tibia: update to 10.57 2014-10-02 17:22:36 +01:00
Sander van der Burg
470007e7e1 Make path to Xcode configurable 2014-10-02 15:49:33 +02:00
Michael Raskin
f9347cfbb0 Specify unfree license for Opera browser 2014-10-02 16:44:58 +04:00
Domen Kožar
1b929642ea telepathy: 0.5.3 -> 0.8.80 2014-10-02 11:14:38 +02:00
Mateusz Kowalczyk
2e51b2e18a agda-base: new package 2014-10-02 09:49:42 +01:00
aszlig
4d92a0675b
linux-man-pages: Update to version 3.73. 
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-10-02 10:25:12 +02:00
Domen Kožar
58b6c4fce9 xen: note about security for next bump 2014-10-02 10:23:09 +02:00
Domen Kožar
6ac16b3660 cmplayer: fix build 2014-10-02 10:23:08 +02:00
Mateusz Kowalczyk
277f6a9779 Revert "ghostscriptX: update from 9.06 to 9.14, potentially fixes CVE-2012-4405" 
This reverts commit 13fab57d12.

Hopefully fixes the printing tests at
http://hydra.nixos.org/build/14952070/log/raw ; if not, it's probably
gutenprint although I doubt:

client# lp: Unsupported document-format "application/pdf".
 2014-10-02 09:04:23 +01:00
Michel Kuhlmann
29b2a1fbd3 r-XML: adding system-dependency libxml2 2014-10-02 08:03:50 +02:00
Daniel Peebles
c55c435ade Add Apple command-line tools 
Closes #4365
 2014-10-02 06:50:09 +01:00
AndersonTorres
59418454e6 Bochs: adding configurable options 
Now, Bochs expression has a bunch of configurable options!

Unhappily, it is a big and complex project, and some configure options
are in constant clash. But the set created for now is very usable and
stable.

Closes #4366
 2014-10-02 06:48:50 +01:00
Boris Sukholitko
0d41386f48 haskell: add blank-canvas package 
Closes #4356
 2014-10-02 06:47:52 +01:00
Boris Sukholitko
f806977d78 haskell: add kansas-comet package 
Closes #4356
 2014-10-02 06:47:47 +01:00
Baptist BENOIST
def23d5694 xfe: Update from 1.34 to 1.37 
Closes #4362
 2014-10-02 06:45:59 +01:00
Emery Hemingway
7a610e8b67 assimp: initial package expression for version 3.1.1 
Open Asset Import Library is a library for importing 3D models in
various formats

Closes #4352
 2014-10-02 06:45:17 +01:00
Nathan Bijnens
f458a958fc Copy.com: update package to 1.47.0410 (upstream update) 
Closes #4355
 2014-10-02 06:44:12 +01:00
Baptist BENOIST
c35a1b828f geany: Update from 1.23.1 to 1.24.1 
Closes #4359
 2014-10-02 06:39:03 +01:00
Mateusz Kowalczyk
fa910f2f74 giflib: default to 5.0.5 
5.1.0 apparenlty breaks a bunch of stuff, see comments on
61f8cee6ce
 2014-10-02 06:24:51 +01:00
Austin Seipp
5f7d5c09f3 Merge pull request #4298 from daogames/tb/elixir-mix-curl-fix 
elixir: make curl available to mix
 2014-10-01 18:54:24 -05:00
Austin Seipp
6e9d62153f Merge pull request #4354 from k0ral/restview 
New python package: restview-2.1.1
 2014-10-01 18:53:41 -05:00
Austin Seipp
077fcd8829 Merge pull request #4357 from flazz/master 
new: Apache Cassandra 2.1.0
 2014-10-01 18:52:54 -05:00
Luca Bruno
e707530751 giflib: add back the 5.0 version 
Should fix tracker and may be used to fix
other packages after commit 61f8cee.

Untested as it takes too much time to recompile
everything these days.
 2014-10-02 01:41:35 +02:00
Domen Kožar
7706c08287 qbittorrent: disable parallel building due to failures 2014-10-02 00:21:50 +02:00
viric
63bacb79b1 Merge pull request #4361 from bbenoist/feature/INFO-34 
vtk: Update from 5.10.0 to 5.10.1
 2014-10-01 23:39:24 +02:00
Peter Simons
88ef0cb750 bash: add patch set 51 to fix http://lcamtuf.blogspot.de/2014/10/bash-bug-how-we-finally-cracked.html 2014-10-01 23:02:56 +02:00
Bjørn Forsman
6aaf3cb54b rsnapshot: set meta.platforms 2014-10-01 22:29:33 +02:00
Francesco Lazzarino
17aae5742d Apache Cassandra 2.1.0 2014-10-01 15:25:32 -05:00
William A. Kennington III
f7bb4f7dbe pcsclite: 1.8.11 -> 1.8.12 2014-10-01 13:18:55 -07:00
Moritz Ulrich
53d5d55041 weechat: Update to 1.0.1. 2014-10-01 20:38:18 +02:00
Tino Breddin
4ef1099310 fix double slash in mix binary path 2014-10-01 20:27:55 +02:00
Moritz Ulrich
63289f088a Cura(engine): Append version to name. 2014-10-01 20:26:02 +02:00
Vincent Laporte
01c6d8569f coq-containers: package is broken 2014-10-01 18:39:31 +01:00
koral
041f507937 New python package: restview-2.1.1 2014-10-01 19:04:22 +02:00
Domen Kožar
fd48e801d2 fetchurl: resume download of curl exits with status code 18 2014-10-01 13:58:42 +02:00
Pascal Wittmann
0b23b5b141 Merge pull request #4345 from VShell/namecoin 
Update Namecoin to 0.3.76
 2014-10-01 12:37:55 +02:00
wyvie
83fc5069f4 lua: Fixed luasql.patch 
Closes #4344
 2014-10-01 06:00:06 +01:00
Shell Turner
f85a8ab9e2 Update Namecoin to 0.3.76 2014-10-01 06:49:49 +02:00
John Wiegley
10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Ricardo M. Correia
272c44f1a5 rustcMaster: Fix test_override_env and enable tests 
We also need to disable parallel building due to rust-lang/rust#16305.

Closes #4339
 2014-10-01 02:34:25 +01:00
Shea Levy
516be15130 Merge branch 'mac-purity' of git://github.com/copumpkin/nixpkgs 
Let’s compile the Mac OS X SecurityTool ourselves

copumpkin:

This allows us to compile SecurityTool ourselves. There are several more
Apple opensource projects that can be compiled this way that I'll slowly
add.

Remaining sources of impurity:

Reference to absolute path to Xcode. This should be integrated with the
xcode derivation (and the iOS wrapper chain that exists under mobile
development) but it's not obvious how to do that yet.
Absolute reference to xcodebuild.
Adding this should make it possible for #3629 to work reasonably
cleanly.
 2014-09-30 21:28:07 -04:00
Shea Levy
961d444762 Remove hard-coded /etc from strongswan 2014-09-30 21:28:04 -04:00
AndersonTorres
1c0d37a038 Higan: adding config.higan.{guiToolkit,profile} options 
Now we can parametrize Higan locally.
By default, guiToolkit = "gtk" and profile = "performance" (the accuracy
profile is seriously slow on my machine :) )

Closes #4340
 2014-10-01 02:17:40 +01:00
Daniel Peebles
0e9cf136af A simple ADC downloader for upcoming darwin awesomeness 
Closes #4327
 2014-10-01 02:10:31 +01:00
koral
d815b900f4 tmux: wrapped program to set TERMINFO variable 
Closes #4335
 2014-10-01 02:09:06 +01:00
AndersonTorres
6acd05f27a Sound of Sorting: New Package 
Sound of Sorting is an array-sorting visual+sound demo program.
It shows an array as a list of horizontal bars, and realizes a
step-by-step sorting of it. Moreover, it colorizes and emits a
"8-bit-game-like" sound throughout its execution.

Closes #4341
 2014-10-01 02:04:36 +01:00
Vincent Laporte
c260abbff8 hol_light: update to r199 
And adds compatibility with camlp5-6.12
 2014-10-01 00:44:15 +01:00
Vincent Laporte
a6af1e96de Updates camlp5 6.11 -> 6.12 2014-10-01 00:44:15 +01:00
John Wiegley
57b292fb1b isabelle: Another Linux hash change? 2014-09-30 16:44:15 -05:00
John Wiegley
5a7ce1185b isabelle: Remove Linux patches (is this correct?) 2014-09-30 16:41:47 -05:00
John Wiegley
8d9cd1557b isabelle: Correct the 2014 sha value for Linux 2014-09-30 16:15:34 -05:00
Aristid Breitkreuz
5af769fd4e update libwebp to fix giflib incompatibility 2014-09-30 21:37:56 +02:00
Michael Raskin
4dabba4d1e Add a binary distribution of Apache Jena RDF storage system 2014-09-30 23:11:19 +04:00