Commit Graph

24785 Commits

Author SHA1 Message Date
Pascal Wittmann
d780e48b31 openjdk8: fix build by applying the patch from debian
see https://www.mail-archive.com/debian-bugs-rc@lists.debian.org/msg389555.html

closes #8090
2015-05-31 18:02:41 +02:00
Michael Raskin
e75b6ac468 Add CLX-XKeayboard; fix downloads for darcs over https 2015-05-31 18:56:50 +03:00
Mateusz Kowalczyk
7c09d9d291 agda-stdlib: update to 2.4.2.3 branch
Required to work with the new Agda we have
2015-05-31 13:18:39 +01:00
Domen Kožar
fc9e7c9aae Merge pull request #8074 from Ralith/capnproto
capnproto: bump to 0.5.1.2
2015-05-31 13:28:48 +02:00
Cillian de Róiste
7df3386753 movit: update from 1.1.2 to 1.1.3 2015-05-31 13:12:40 +02:00
Robert Helgesson
555ee2f7ba Add patch for haskell-iconv to support GHC 7.10. 2015-05-31 11:29:56 +02:00
Michael Raskin
608482f613 Update SBCL 2015-05-31 11:46:47 +03:00
Michael Raskin
c84a9d2d17 Update Octave to 4.0.0 2015-05-31 11:01:51 +03:00
Ryan Trinkle
82bd3a5580 Do not use install_name_tool on "executables" built by GHCJS
These executables are really .jsexe directories, and install_name_tool will fail
2015-05-31 03:18:13 -04:00
Tobias Geerinckx-Rice
99626a6ba4 accounts-qt 1.11 -> 1.13
Development has moved from Google Code to Gitlab.
2015-05-30 21:12:46 +02:00
Tobias Geerinckx-Rice
21015ea82f Add bin_replace_string: edit precompiled binaries 2015-05-30 21:09:26 +02:00
Peter Simons
1cc014fdae hackage-packages.nix: update to a0ad41c6f5 with hackage2nix revision 4d6361f0199d51068066c62bb0ca5c18530161f4 2015-05-30 19:55:32 +02:00
Peter Simons
7c9cf6d6c2 haskell-syb-with-class: remove obsolete patches 2015-05-30 19:54:43 +02:00
Peter Simons
b73c3c7d9f haskell-cipher-aes fails its test suite. 2015-05-30 19:54:43 +02:00
Peter Simons
413985fa34 haskell-servant has been fixed upstream. 2015-05-30 19:54:43 +02:00
Peter Simons
83f6a29266 haskell-hslua: version 0.4.x still doesn't work with lua 5.2 2015-05-30 19:54:43 +02:00
Peter Simons
d55272a535 haskell-pipes-errors: fix evaluation of override for latest 'errors' 2015-05-30 19:54:43 +02:00
Peter Simons
8732feab5a haskell-llvm-general is broken with recent versions of LLVM. 2015-05-30 19:54:43 +02:00
Peter Simons
2814e5ce11 haskell-Cabal-ide-backend: like all Cabals, this fork can't run its test suite in Nix 2015-05-30 19:54:43 +02:00
Peter Simons
d2496ba142 haskell-pandoc: install man pages 2015-05-30 19:54:43 +02:00
Peter Simons
62d691b4ca haskell-pandoc: don't use shared linking for executables
The build contains special magic surrounding the build of make-pandoc-man-pages,
and that magic fails in case we link binaries dynamically.
2015-05-30 19:54:43 +02:00
Peter Simons
a1c0a00dac haskell-text-binary: remove patch that's contained in version 0.2.x 2015-05-30 19:54:43 +02:00
Peter Simons
c139b0593c Fix haskell-spaceprobe and llvm-general. 2015-05-30 19:54:43 +02:00
Peter Simons
ef0d959fe9 haskell-BNFC: build has been fixed, but the test suite still won't compile 2015-05-30 19:54:43 +02:00
Peter Simons
e5a1818745 haskell-mueval is broken (and has been for a while) 2015-05-30 19:54:42 +02:00
Peter Simons
8b80062185 haskell-configuration-ghc-7.10.x: remove obsolete override for old c2hs version 2015-05-30 19:54:42 +02:00
Peter Simons
8c03484b3b haskell-ncurses: remove obsolete override 2015-05-30 19:54:42 +02:00
Peter Simons
2e24bef56f ghc-6.x: enable builds again now that 5a89a87cc5 is in master
Resolves https://github.com/NixOS/nixpkgs/issues/7810.
2015-05-30 19:54:42 +02:00
Peter Simons
35b2be0d24 hackage-packages.nix: update to 19c8675e5d with hackage2nix revision 66f6b1336269ffa8e106822407e09e3dbadffcd1 2015-05-30 19:54:42 +02:00
Vladimír Čunát
223cfb82f4 kde4.libkvkontakte: fix build by using pkgconfig 2015-05-30 19:40:31 +02:00
Peter Simons
d3073741a3 Merge pull request #8042 from adnelson/liblapack_atlas_dependency_optional
Liblapack atlas dependency optional
2015-05-30 19:25:54 +02:00
Vincent Laporte
20a36e4120 netcdf: update from 4.3.2 to 4.3.3.1 2015-05-30 19:24:32 +02:00
Vincent Laporte
f498d0110e getdata: update from 0.8.6 to 0.8.8 2015-05-30 19:24:32 +02:00
Benjamin Saunders
593892a761 capnproto: bump to 0.5.1.2 2015-05-30 10:18:54 -07:00
Vladimír Čunát
5d8981ee4d opencascade-6.5: work around a build problem 2015-05-30 19:16:38 +02:00
Vladimír Čunát
6732b3b8ad clang-3.4: fix build by adding zlib
I didn't care enough to search for cause of the regression.
2015-05-30 15:42:15 +02:00
Pascal Wittmann
1d30557516 Fixed meta.license: s/licence/license 2015-05-30 15:19:05 +02:00
Pascal Wittmann
dbfaf1c27c Merge pull request #8064 from ftrvxmtrx/utf8proc-1.2
utf8proc: 1.1.6 -> 1.2
2015-05-30 13:49:55 +02:00
Pascal Wittmann
24d2849dba gtk-doc: update from 1.23 to 1.24 2015-05-30 13:48:53 +02:00
Siarhei Zirukin
2ee1ab955a utf8proc: 1.1.6 -> 1.2 2015-05-30 13:15:45 +02:00
William A. Kennington III
5483697ab1 nss: 3.19 -> 3.19.1 2015-05-29 15:29:53 -07:00
William A. Kennington III
b07929b0a3 Use libpulseaudio instead of pulseaudio 2015-05-29 14:32:56 -07:00
William A. Kennington III
cd52c04456 Fix more ca-bundle paths 2015-05-29 14:26:32 -07:00
William A. Kennington III
14c1e0fa1f Fix ca-bundle paths 2015-05-29 14:03:34 -07:00
Mateusz Kowalczyk
02895e8211 Merge pull request #8063 from Havvy/iojs
Updated: io.js from v1.6.4 to v.2.1.0
2015-05-29 21:47:46 +01:00
Arseniy Seroka
02fd0c8771 Merge pull request #7742 from magnetophon/guitarix-syslibs-master
guitarix: use system zita libs
2015-05-29 23:37:43 +03:00
Ryan Scheel (Havvy)
c8e59a41b0 Updated: io.js from v1.6.4 to v.2.1.0
Closes #9707
2015-05-29 21:06:18 +02:00
William A. Kennington III
ac2f05a50a krb5: Make lib build parallel 2015-05-29 10:12:29 -07:00
William A. Kennington III
a74e4863f3 krb5: Fixes 2015-05-29 10:12:00 -07:00
Shea Levy
eb0a21a512 boto: Remove obsolete patch 2015-05-29 11:21:49 -04:00
Shea Levy
1b93d64168 nix-exec: bump 2015-05-29 11:05:36 -04:00
Bart Brouns
859ec9719b guitarix: use system zita libs 2015-05-29 14:05:46 +02:00
Vincent Laporte
dfbef0d770 coq-coqeal: fix installation 2015-05-29 11:42:45 +02:00
William A. Kennington III
035273f813 Merge pull request #8022 from devhell/mediainfo
Update mediainfo{-gui} and dependencies
2015-05-29 00:57:13 -07:00
William A. Kennington III
de6f236bbb Merge pull request #8038 from codyopel/ffmpeg-networking
ffmpeg: include networking support
2015-05-29 00:54:15 -07:00
Peter Simons
d9cc38757a openssl: add version 1.0.2a as attribute 'openssl_1_0_2'
We'll try switching our default version after the 15.06 release has been
branched off. Resolves https://github.com/NixOS/nixpkgs/issues/7970.
2015-05-29 09:52:29 +02:00
Allen Nelson
e001340cf6 returned to two-file structure for liblapack 2015-05-28 21:49:06 -05:00
Peter Simons
99273a6716 Merge pull request #8047 from nckx/master
Don't use "with licenses;" for single licences
2015-05-28 22:14:53 +02:00
Peter Simons
bcd5dc6bac Merge pull request #8023 from thinkpad20/pure_liblapack
added cmake flag to prevent autodetection of SDK directory
2015-05-28 21:44:07 +02:00
Allen Nelson
2c125cf37a removed default dependency of liblapack on ATLAS. was causing an unnecessary double-build of atlas 2015-05-28 12:39:49 -05:00
Tobias Geerinckx-Rice
158e1cfdd0 Don't use "with licenses;" for single licences
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Pascal Wittmann
7822640a18 yodl: update from 3.05.00 to 3.05.01 2015-05-28 19:10:52 +02:00
Pascal Wittmann
f675c4d90d icmake: update from 7.22.00 to 7.22.01 2015-05-28 18:57:32 +02:00
Pascal Wittmann
38bc63c605 help2man: update from 1.46.5 to 1.46.6 2015-05-28 18:56:12 +02:00
Pascal Wittmann
b57097b2fe fswatch: update from 1.4.6 to 1.4.7 2015-05-28 18:54:35 +02:00
Pascal Wittmann
1a3860e95a checkstyle: update from 6.5 to 6.6 2015-05-28 18:49:06 +02:00
Sander van der Burg
3fa15c820f doclifter: add new package 2015-05-28 16:13:47 +00:00
Rok Garbas
ea3748d519 cygwin: help2man patch for cygwin 2015-05-28 14:15:47 +02:00
Rok Garbas
93d507cac8 cygwin: for 2.7.10 export-PyNode_SizeOf patch not needed anymore 2015-05-28 14:15:47 +02:00
Rok Garbas
8bebcd5d40 cygwin: patch boehm-gc on cygwin 2015-05-28 14:15:47 +02:00
codyopel
ec8babb4fd ffmpeg: include networking support
add networking support to the default build, required by mpv
2015-05-28 07:39:10 -04:00
Vladimír Čunát
6cc8869f38 fltk13: fix a bug preventing use in octave
Fixes #8007 (together with the parent commit).
2015-05-28 13:16:02 +02:00
Vladimír Čunát
adea54614d fltk13, octave: expose fltk13 config and override in octave
Octave needs fltk with libxft, see #8007.

I'm not much familiar with composableDerivation,
so perhaps this change could be done in a better way...
2015-05-28 13:16:02 +02:00
Vladimír Čunát
026aa123a4 speexdsp: fix integer types not being included
Description in comments of https://aur.archlinux.org/packages/retroshare/
I'm not sure why their conditionals don't work, but this fix should be safe.

/cc maintainer @wkennington.
2015-05-28 11:55:06 +02:00
William A. Kennington III
85932bc5a9 krb5: 1.13.1 -> 1.13.2 2015-05-28 02:20:08 -07:00
William A. Kennington III
4389ae5208 libverto: Add derivation 2015-05-28 02:20:08 -07:00
William A. Kennington III
afea09936e rocksdb: 3.10 -> 3.11 2015-05-28 02:20:08 -07:00
Marko Durkovic
a02799cd78 cygwin: fix ncurses
1. Fix linking against ncurses.dll
2. Fix segfaults with threaded code
2015-05-28 10:53:36 +02:00
Florian Friesdorf
d6c4963bcb cygwin libarchive 2015-05-28 10:53:36 +02:00
Florian Friesdorf
90a97d32df cygwin cmake 2015-05-28 10:53:36 +02:00
U-user-PC\\user
6c7899b1f6 cygwin: popt patches 2015-05-28 10:53:36 +02:00
Florian Friesdorf
5f4a9c3391 cygwin: python-2.7 2015-05-28 10:53:36 +02:00
Florian Friesdorf
d2da94cc0b cygwin: zlib - we do not --disable-shared 2015-05-28 10:53:36 +02:00
Marko Durkovic
2904aa33bb cygwin: libffi 2015-05-28 10:53:36 +02:00
Florian Friesdorf
f33f2a7e82 cygwin: disable gnumake check because of hanging test 2015-05-28 10:53:35 +02:00
Marko Durkovic
e45745f1f4 cygwin: libatomic_ops: add missing interlibrary dep 2015-05-28 10:53:35 +02:00
Marko Durkovic
c4efe32d4d cygwin: pkgconfig 2015-05-28 10:53:35 +02:00
Florian Friesdorf
feef088b39 cygwin: readline bash_cv_func_sigsetjmp=missing 2015-05-28 10:53:35 +02:00
Marko Durkovic
3f6949c3ef cygwin: openssl for x86_64 2015-05-28 10:53:35 +02:00
Marko Durkovic
b658196c6c cygwin: libiconv and gettext for x86_64 2015-05-28 10:53:34 +02:00
Florian Friesdorf
ebf6d98fc2 cygwin: build perl as usual, no sysPerl 2015-05-28 10:53:34 +02:00
William A. Kennington III
21b2858eed Merge pull request #8019 from codyopel/openjpeg
openjpeg: refactor, fixes #8017
2015-05-27 23:34:21 -07:00
William A. Kennington III
cf932c9b4c Merge pull request #8031 from codyopel/libclxclient
libclxclient: reacfor & fix include directory
2015-05-27 23:33:06 -07:00
William A. Kennington III
f3cdf47ef5 Merge pull request #8025 from codyopel/libclthread
libclthreads: refactor & fix include directory
2015-05-27 23:31:35 -07:00
codyopel
83fa9994e5 libclthreads: refactor
fix include directories
fix symlink to library
2015-05-28 01:53:23 -04:00
codyopel
2906376ddc libclxclient: reacfor & fix include directory 2015-05-28 00:26:17 -04:00
Austin Seipp
5762db8504 nixpkgs: luajit 2.0.3 -> 2.0.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-05-27 16:36:27 -05:00
Austin Seipp
4793f2c7d3 nixpkgs: arcanist 20150412 -> 20150525
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-05-27 16:36:26 -05:00
Tobias Geerinckx-Rice
b2d7f4b1ba Use common licence attributes from lib/licenses.nix
Many (less easily automatically converted) old-style strings
remain.

Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.

Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
Arseniy Seroka
6c9ac3f967 Merge pull request #8024 from ragnard/update-boot-version
boot: Update version from 2.0.0-rc14 to 2.0.0.
2015-05-27 22:43:15 +03:00
Allen Nelson
6eb8ff878d added cmake flag to prevent autodetection of SDK directory 2015-05-27 12:42:40 -07:00
Ragnar Dahlén
9cb63367dc boot: Update version from 2.0.0-rc14 to 2.0.0. 2015-05-27 20:39:17 +01:00
Vladimír Čunát
8e4c911248 gfortran-darwin: add cc attribute to fix evaluation
Hopefully the value is reasonable.
It's used on two places at least to find libs to link against.
2015-05-27 21:13:44 +02:00
devhell
4de17c7837 Update mediainfo{-gui} and dependencies
* mediainfo{-gui} 0.7.73 -> 0.7.74
* libmediainfo    0.7.73 -> 0.7.74

From the mediainfo ChangeLog:
```
Version 0.7.74, 2015-05-25

+ FIMS: Preliminary version (not for production)
+ D-10 audio: display of real bitrate beside the encoded bitrate
+ VC-3: detection of CDP packets (608/708 captions), created by Nexio, inside the VC-3 private data
+ AES3: generic term AES3 replaced by more precise SMPTE ST numbers (302, 331, 337)
+ NUT: basic detection
+ FFV1: more parsing of the bitstream, support of any version of FFV1 in MOV and Matroska
+ DPX: color space and frame rate
x #B906, Matroska: duration was missing if Info block is at the end of the file
x #B908, AC-3: bit depth removed
x #P86, MPEG-4: moov_trak_edts_elst Atom was ignoring version of the atom
x Dolby E: the MXF channel count value was sometimes reported instead of the real channel count
x VorbisComment: WAVEFORMATEXTENSIBLE_CHANNEL_MASK "0X" ("x" in uppercase) is accepted now
x EBUCore: TotalProgrammeDuration was wrongly filled with IdentClockStart value
x EBUCore: Source/Material moved from timecodeStart to timecodeTrack
x MPEG-4: info is missing for some streams in some specific cases
```
2015-05-27 19:57:57 +01:00
Peter Simons
8cc5c08808 Updated patches for Haskell packages mueval and misfortune. 2015-05-27 20:25:11 +02:00
codyopel
4587819638 openjpeg: refactor, fixes #8017
+ Disable JPIP which requires Java
+ fix typo in nativeBuildInputs, which fixes pkgconfig
2015-05-27 11:48:03 -04:00
Pascal Wittmann
6c2fc83a85 bundler: bin/bundler expects ruby in PATH 2015-05-27 17:11:33 +02:00
Pascal Wittmann
150ae25546 bundler: do not add a ruby name prefix
Otherwise bundler replaces ruby:

% nix-env -iA nixpkgs.ruby
installing ‘ruby-1.9.3-p547’
% nix-env -iA nixpkgs.bundler
replacing old ‘ruby-1.9.3-p547’
installing ‘ruby-1.9.3-p547-bundler-1.9.2’
2015-05-27 14:48:44 +02:00
Eelco Dolstra
faff3a44a7 Add libpqxx 2015-05-27 13:21:50 +02:00
lethalman
257c05fa82 Merge pull request #7622 from jzellner/master
add goimports package
2015-05-27 10:57:23 +02:00
Ricardo M. Correia
4e4d01af81 rustc: Use fetchzip in src attr instead of fetchurl
Otherwise, `RUST_SRC_PATH` in `racerRust` will point to an invalid path
(such as `/nix/store/xxx-rustc-1.0.0.tar.gz/src`, where
`rustc-1.0.0.tar.gz` is a real tarball file).
2015-05-27 04:23:43 +02:00
Tobias Geerinckx-Rice
df7ccbab5d libssh: temporarily patch to fix x2goclient
See <https://red.libssh.org/issues/194>:

  "In libssh 0.7.0, ssh_forward_listen() is present in the headers as
  a deprecated function, but it is not actually present in the code.
  This appears to have been introduced in commit 5229253f."
2015-05-26 23:57:45 +02:00
vbgl
2857d5d7a8 Merge pull request #7823 from ericbmerritt/ocaml-enhancements
Ocaml enhancements
2015-05-26 23:52:32 +02:00
Edward Tjörnhammar
f02284a361 activator: add version 1.3.2 2015-05-26 20:56:43 +02:00
Antoine R. Dumont
a12dd8f6a1 Upgrade to latest stable
Upgraded the dependency to oracle's jdk8.
2015-05-26 19:30:19 +02:00
Pascal Wittmann
a6724ddd56 ccrtp: mark version 1.8 as broken (not compatible with libgcrypt >= 1.6)
closes #7855
2015-05-26 14:40:01 +02:00
Alexander Flatter
7d9724057c Update heroku toolbelt to 3.32.0 2015-05-26 13:06:34 +02:00
Alexander Flatter
be71c0871c Add meta information to heroku toolbelt 2015-05-26 13:06:34 +02:00
Alexander Flatter
d2b906c771 Add heroku-client 2015-05-26 13:05:53 +02:00
Mateusz Kowalczyk
cdb14ddafe Merge pull request #7246 from spwhitt/iniparser
iniparser: fix Darwin by building static lib
2015-05-26 11:08:47 +01:00
Mateusz Kowalczyk
d77bbb0ee3 Merge pull request #8002 from asppsa/pure-packages
Fairly complete set of packages for Pure
2015-05-26 10:53:39 +01:00
Tobias Geerinckx-Rice
7b6d9d4cff Remove arb and then-orphaned lesstif93
Arb has been broken (and marked as such) since the removal of
GCC 4.2 in July 2014. Nothing and no-one uses it. Time to go.
2015-05-26 11:46:41 +02:00
William A. Kennington III
386575c0c2 llvm: 3.6.0 -> 3.6.1 2015-05-26 01:36:35 -07:00
William A. Kennington III
308cdd483d mesa: 10.5.4 -> 10.5.6 2015-05-26 01:36:35 -07:00
Alastair Pharo
47aeaf9d04 Fairly complete set of packages for Pure 2015-05-26 17:51:07 +10:00
Mateusz Kowalczyk
4128b474f4 haskell-Agda: overrides are no longer necessary 2015-05-26 05:51:33 +01:00
Eric Merritt
c651e7ff61 ocaml-atdgen: add minimal version (1.6.0) to the system 2015-05-25 13:45:10 -07:00
Eric Merritt
7efe850b1d ocaml-atd: add initial version (1.1.2) to the system 2015-05-25 13:42:07 -07:00
Peter Simons
38bf7f94d0 webkitgtk-2.4: disable parallel building to fix race conditions
http://hydra.cryp.to/build/888422/nixlog/9/raw
2015-05-25 20:43:39 +02:00
Peter Simons
1b66d9318b hackage-packages.nix: update to 67bad0d79a with hackage2nix revision fb67f15c8cb79342f5719342c1b1b42e134bcce4 2015-05-25 20:43:39 +02:00
Eric Merritt
27541f65f3 ocaml-async_find: add initial version (111.28.00) to the system 2015-05-25 10:16:44 -07:00
Eric Merritt
9c4bda2530 ocaml-async_shell: add initial version (109.28.03) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
96775f0402 ocaml-jingoo: add initial version (1.2.7) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
c7ba42a516 ocaml-core_extended: add initial version (112.24.00) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
da56bd3002 ocaml-textutils: add initial version (112.17.00) to the system 2015-05-25 10:16:42 -07:00
Eric Merritt
59b94c36f8 ocaml-re2: add initial version (112.06.00) to the system 2015-05-25 10:16:38 -07:00
Peter Simons
d808f5b3e6 cabal2nix: update to version 20150525 2015-05-25 15:00:07 +02:00
Bob van der Linden
2f4dc083d5 added hwinfo 2015-05-25 14:17:46 +02:00
Domen Kožar
bbc1df3092 Merge branch 'staging' 2015-05-25 11:33:05 +02:00
Edward Tjörnhammar
0e9464478d catch: add version 1.1-3 2015-05-25 10:39:13 +02:00
Domen Kožar
0f6f4004f3 Merge pull request #7936 from thinkpad20/set_arbitrary_env_variables_python
Add makeWrapperArgs argument to buildPythonPackage
2015-05-25 10:32:09 +02:00
William A. Kennington III
e7694865ca Merge pull request #7982 from iyzsong/glfw
glfw: Update to 3.1.1 and build shared library.
2015-05-25 00:23:19 -07:00
Sou Bunnbu
6a96c2873f Merge pull request #7968 from ts468/vaapi
Add gstreamer-vaapi for gstreamer-1.0.
2015-05-25 13:10:58 +08:00
宋文武
da2d1c17dc glfw: Update to 3.1.1 and build shared library. 2015-05-25 10:50:28 +08:00
Thomas Tuegel
d8dab38fda Merge pull request #7899 from thinkpad20/openblas_on_osx
added flags/switches necessary to get openblas to compile on osx
2015-05-24 19:01:50 -05:00
Peter Simons
3fa1b2183a hackage-packages.nix: update to 8ed599c155 with hackage2nix revision 61d7380337df7e1b568c1b30f4d97e5c2df42b66 2015-05-25 00:19:14 +02:00
Aristid Breitkreuz
75ea4778f5 switch to working libssh 0.7 download 2015-05-24 20:22:18 +00:00
Eric Merritt
b7ea979a75 ocaml-lwt: make sure libev propagates as a dependency 2015-05-24 12:33:24 -07:00
Eric Merritt
e0f3638fde ocaml-cohttp: add initial version (0.17.1) to the system 2015-05-24 12:33:23 -07:00
Eric Merritt
38cabebc8d ocaml-alcotest: add initial version (0.3.1) to the system 2015-05-24 12:33:21 -07:00