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

43123 commits

Author SHA1 Message Date
William A. Kennington III 5b80f24b9d kernel: 3.16.3 -> 3.16.4 2014-10-05 21:34:31 -07:00
William A. Kennington III c2a301731a kernel: 3.14.19 -> 3.14.20 2014-10-05 21:34:18 -07:00
William A. Kennington III 4a2ecb2c62 kernel: 3.12.28 -> 3.12.29 2014-10-05 21:34:04 -07:00
William A. Kennington III c4c28e36e6 kernel: 3.10.55 -> 3.10.56 2014-10-05 21:33:50 -07:00
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