public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
54,939 Commits 1 Branch 0 Tags
1b4094cf5ae1398e12dcd1c993fb7bef3fdc6eb8
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 5191d694c2 timidity: update from 2.13.0 to 2.14.0 2014-12-19 11:29:54 +01:00
Vincent Laporte c99c8c3e43 dypgen: adds meta.platforms 2014-12-11 16:15:02 +01:00
Vincent Laporte cb3f9bf160 omake: add meta.platforms 2014-12-11 09:19:30 +01:00
Vincent Laporte ef5c48326a Adds ocaml-fieldslib 
This library defines a syntax extension for OCaml using Camlp4 that
can be used to define first class values representing record fields,
and additional routines, to get and set record fields, iterate and
fold over all fields of a record and create new record values.

Homepage: https://ocaml.janestreet.com/
 2014-12-09 19:37:48 +01:00
Vincent Laporte 6a69a25c56 Adds coq-interval 
This library provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers
for the Coq proof assistant.

Homepage: http://coq-interval.gforge.inria.fr/
 2014-12-08 09:15:13 +01:00
Vincent Laporte 7893825613 coq-flocq: license 2014-12-07 13:14:33 +01:00
Vincent Laporte 9d9323b3a9 camlimages: fix dependency 2014-12-05 14:55:25 +01:00
Vincent Laporte 18e5582f6c claws-mail: update from 3.10.1 to 3.11.1 2014-12-03 16:22:14 +01:00
Vincent Laporte bc95472fb7 skrooge: update from 1.3.2 to 1.10.0 2014-12-02 19:28:11 +01:00
Vincent Laporte 0f4e9835d7 Adds ocaml-uucp 
Uucp is an OCaml library providing efficient access to a selection of
character properties of the Unicode character database.

Homepage: http://erratique.ch/software/uucp
 2014-11-27 06:53:43 +00:00
Vincent Laporte 1bd68c4478 zim: update from 0.61 to 0.62 2014-11-26 13:08:01 +00:00
Vincent Laporte 54d206e5cc cppo: update from 1.0.1 to 1.1.2 2014-11-23 17:34:07 +00:00
Vincent Laporte 1be6e7c60f js_of_ocaml: propagate lwt dependency 2014-11-23 12:37:00 +00:00
Vincent Laporte 9f82cc2684 ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:51:04 +00:00
Vincent Laporte d1d22919aa Adds Kst-2.0.8 
Kst is a real-time large-dataset viewing and plotting tool that has
built-in data analysis functionality.

Homepage: https://kst-plot.kde.org/
 2014-11-21 11:54:59 +00:00
Vincent Laporte 94f20a542a Adds getdata-0.8.5 
The GetData Project is the reference implementation of the Dirfile
Standards, a filesystem-based, column-oriented database format for
time-ordered binary data. The Dirfile database format is designed to
provide a fast, simple format for storing and reading data.

Homepage: http://getdata.sourceforge.net/
 2014-11-21 11:54:54 +00:00
Vincent Laporte c9dff002a3 Adds matio-1.5.2 
matio is an C library for reading and writing Matlab MAT files.

Homepage: http://matio.sourceforge.net/
 2014-11-21 11:54:47 +00:00
Vincent Laporte 4f3190f3da Adds libltc 
Linear (or Longitudinal) Timecode (LTC) is an encoding of timecode data
as a Manchester-Biphase encoded audio signal. The audio signal is
commonly recorded on a VTR track or other storage media.

libltc provides functionality to encode and decode LTC from/to timecode,
including SMPTE date support.

libltc is the successor of libltcsmpte.

Homepage: http://x42.github.io/libltc/
 2014-11-20 19:42:01 +00:00
Vincent Laporte 4ec6e0c935 mldonkey: adds license information 2014-11-19 08:26:43 +00:00
Vincent Laporte f9432af1e2 ocaml-cmdliner: update from 0.9.5 to 0.9.6 2014-11-18 14:34:08 +00:00
Vincent Laporte 1354bc0eba Updates (and fixes) opa 2014-11-18 07:26:16 +00:00
Vincent Laporte 2d252e78c1 boehm-gc: fixes URLs in meta 2014-11-18 00:48:18 +00:00
Vincent Laporte 15eec14f3a Removes roadsend (broken) 2014-11-17 22:42:21 +00:00
Vincent Laporte 8227297567 hol_light: update from 199 to 205 2014-11-17 06:53:45 +00:00
Vincent Laporte 099d145590 Adds ocaml-camlpdf-1.7.2 
OCaml library for reading, writing and modifying PDF files

Homepage: https://github.com/johnwhitington/camlpdf
 2014-11-16 08:42:55 +00:00
Vincent Laporte cded306f82 nix-prefetch-git: allow dots in submodule names 2014-11-15 18:37:58 +00:00
Vincent Laporte 2d46ab2557 gtkdatabox: update from 0.9.1.3 to 0.9.2.0 2014-11-15 09:37:47 +00:00
Vincent Laporte 25a52470f8 pcmanfm: update from 1.2.2 to 1.2.3 2014-11-14 23:28:30 +00:00
Vincent Laporte 8a96d42570 libfm: update frm 1.2.2.1 to 1.2.3 2014-11-14 23:28:30 +00:00
Vincent Laporte 2995072b53 cmus: update from 2.5.0 to 2.6.0 
Adds CUE and pulseaudio support
 2014-11-14 21:22:26 +00:00
Vincent Laporte 7361406e20 Adds bluefish 
Bluefish is a powerful editor targeted towards programmers and
webdevelopers, with many options to write websites, scripts and
programming code.

Homepage: http://bluefish.openoffice.nl/
 2014-11-13 19:49:44 +00:00
Vincent Laporte 6e737145d7 jEdit: update from 4.4.2 to 5.1.0 2014-11-13 07:53:37 +00:00
Vincent Laporte 13490c9467 Adds commons-bsf 
Bean Scripting Framework (BSF) is a set of Java classes which provides
scripting language support within Java applications, and access to Java
objects and methods from scripting languages.

Homepage: http://commons.apache.org/proper/commons-bsf/
 2014-11-13 07:53:37 +00:00
Vincent Laporte c13c705a7c Adds commons-logging 
Wrapper around a variety of logging API implementations

Homepage: http://commons.apache.org/proper/commons-logging/
 2014-11-13 07:53:37 +00:00
Vincent Laporte 9bfa208621 ocaml-sqlite3: update from 2.0.4 to 2.0.7 2014-11-11 20:08:37 +00:00
Vincent Laporte e69dc2be2d fastjar: update from 0.94 to 0.98 2014-11-10 01:04:19 +00:00
Vincent Laporte 83e376e4bb ocsigen-deriving: adds dependency to camlp4 2014-11-09 01:49:37 +00:00
Vincent Laporte cac51e4e09 ocaml-optcomp: adds dependency to camlp4 2014-11-09 01:49:37 +00:00
Vincent Laporte ff86c33f1d Fixes camlp4 2014-11-09 01:49:37 +00:00
Vincent Laporte 2e9339891f FileZilla: update from 3.8.1 to 3.9.0.6 2014-11-08 17:27:18 +00:00
Vincent Laporte 8c7d6b8f4c klavaro: update from 2.00 to 3.01 2014-11-08 16:12:37 +00:00
Vincent Laporte aa2fd47e9d Fixes ocamlscript 2014-11-08 14:28:38 +00:00
Vincent Laporte f895d68c90 ocaml-http: update from 0.1.3 to 0.1.5 2014-11-08 07:26:03 +00:00
Vincent Laporte 2f38372f73 ocamlnet: update from 3.7.6 to 3.7.7 2014-11-08 07:19:40 +00:00
Vincent Laporte fbbd88017f zarith: propagate build input gmp 2014-11-07 09:50:39 +00:00
Vincent Laporte 3d049938c8 Adds some “branch” meta-data 2014-11-06 19:40:50 +00:00
Vincent Laporte 6e8a9b8145 wxmaxima: update from 13.04.2 to 14.09.0 2014-11-06 01:41:02 +00:00
Vincent Laporte fa09f72162 ccache: update from 3.1.9 to 3.1.10 2014-11-06 00:32:43 +00:00
Vincent Laporte 9ad81702f7 scribus: update from 1.4.3 to 1.4.4 2014-11-05 23:59:11 +00:00
Vincent Laporte 06eec57450 libcaca: update from 0.99β18 to 0.99β19 2014-11-04 19:15:17 +00:00
Vincent Laporte be8209b93f ocaml-oasis: update from 0.4.4 to 0.4.5 2014-11-04 00:08:58 +00:00
Vincent Laporte c7457dd1b0 junicode: update from 0.6.15 to 0.7.8 2014-11-04 00:04:29 +00:00
Vincent Laporte c8b3f48865 freefont_ttf: update from 20100919 to 20120503 2014-11-03 23:59:57 +00:00
Vincent Laporte e4655f0b45 ocaml-lwt: fixes build with OCaml 3.12 and 4.02 2014-11-03 21:55:35 +00:00
Vincent Laporte 68b959d655 merlin: update from 1.7.1 to 2.0 
Also adds an option to compile the emacs mode at install time.
 2014-11-03 13:41:46 +00:00
Vincent Laporte 16150e1f1e ocamlscript: new derivation 
Ocamlscript compiles scripts, i.e. one-file programs, into
natively-compiled binaries, and executes them.

Homepage: http://mjambon.com/ocamlscript.html
 2014-11-02 21:41:24 +00:00
Vincent Laporte c216448075 camlimages: update from 4.0.1 to 4.1.2 
Previous version 4.0.1 is kept for OCaml 3.12
 2014-11-01 08:37:40 +00:00
Vincent Laporte 58101991f7 cppo: update from 0.9.4 to 1.0.1 2014-10-29 17:43:05 +00:00
Vincent Laporte a9f37a801c libiconv: update to 1.14 (close #4419) 2014-10-19 20:11:02 +02:00
Vincent Laporte a50da1bfc8 tagainijisho: new derivation 
Tagaini Jisho is a free, open-source Japanese dictionary and kanji
lookup tool that aims at becoming your Japanese study assistant.

Homepage: http://www.tagaini.net/

Closes #4509
 2014-10-14 01:42:23 +01:00
Vincent Laporte d62b63d319 tagainijisho: new derivation 
Tagaini Jisho is a free, open-source Japanese dictionary and kanji
lookup tool that aims at becoming your Japanese study assistant.

Homepage: http://www.tagaini.net/
 2014-10-13 02:55:35 +01:00
Vincent Laporte f132f9c6c9 Adds the CC-BY-SA-3.0 license 2014-10-13 01:23:18 +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
Vincent Laporte 8280d6522e smtube: new package 
SMTube allows to search, play and download Youtube videos.

Homepage: http://smplayer.sourceforge.net/smtube.php
 2014-10-11 10:56:00 +01:00
Vincent Laporte 826572a9e3 smplayer: update from 14.3.0 to 14.9.0 2014-10-11 10:45:45 +01:00
Vincent Laporte 8320bbaaa3 ocaml-macaque: new package 
MaCaQue (or macaque) is a DSL for SQL Queries in Caml.

Homepage: https://github.com/ocsigen/macaque
 2014-10-11 00:54:35 +01:00
Vincent Laporte 33bba5f0b3 ocaml-pgocaml: new package 
PG'OCaml provides an interface to PostgreSQL databases for OCaml
applications.

Homepage: http://pgocaml.forge.ocamlcore.org/
 2014-10-11 00:49:50 +01:00
Vincent Laporte cdf3dc2793 ocaml-reactivedata: new package 
reactiveData is an OCaml module for functional reactive programming
(FRP) based on React.

Homepage: https://github.com/hhugo/reactiveData
 2014-10-11 00:49:34 +01:00
Vincent Laporte 9d5be8a757 maxima: update from 5.33.0 to 5.34.1 2014-10-10 21:55:16 +01:00
Vincent Laporte 3c45c8d53e yasm: update from 1.2.0 to 1.3.0 2014-10-10 22:43:58 +02:00
Vincent Laporte 977f172fee ocaml-lablgl: adds missing dependency to camlp4 2014-10-10 17:00:30 +01:00
Vincent Laporte 35c92ec1ac ocaml-http: adds missing dependency to camlp4 2014-10-10 17:00:30 +01:00
Vincent Laporte 4f0bc8e060 ocaml-oasis: adds missing dependency to caml4 2014-10-10 17:00:30 +01:00
Vincent Laporte 7bfe6144c6 ocaml-data-notation: adds missing dependency to camlp4 2014-10-10 17:00:29 +01:00
Vincent Laporte d99ea69225 zarith: update from 1.2.1 to 1.3 2014-10-10 14:47:33 +01:00
Vincent Laporte 59a184824f lablgtk: update 2.16.0 -> 2.18.2 2014-10-08 20:24:41 +02:00
Vincent Laporte ef169ca69d camlimages: fixes the spelling of propagatedBuildInputs 2014-10-08 20:23:30 +02:00
Vincent Laporte 7fd487018c ocaml-lablgl: fixes the META file 2014-10-08 20:23:30 +02:00
Vincent Laporte 579e74549d CompCert: update to 2.4 2014-10-05 23:38:16 +01:00
Vincent Laporte 96da271ae0 libmsgpack: update to 0.5.9 2014-10-05 13:23:17 +01:00
Vincent Laporte 01c6d8569f coq-containers: package is broken 2014-10-01 18:39:31 +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
Vincent Laporte 7adab7e25e ocaml-tyxml: update 3.0.0 -> 3.1.1 2014-09-30 06:25:31 +02:00
Vincent Laporte e9304fe039 ocaml-ipaddr: update 2.4.0 -> 2.5.0 2014-09-30 06:02:53 +02:00
Vincent Laporte a97cf72a27 ocaml-sexplib: propagate the dependency to typeconv 
And requires camlp4
 2014-09-30 00:13:47 +02:00
Vincent Laporte a65767a0b4 nixpkgs manual: packaging coq libraries 2014-09-28 22:02:36 +01:00
Vincent Laporte 94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00
Vincent Laporte f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte c30c5f7cf3 Adds three coq libraries: containers, mathcomp, ssreflect 
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
 2014-09-28 14:03:15 +01:00
Vincent Laporte fde68228d9 coq: setup-hook for libraries 
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
 2014-09-28 14:03:14 +01:00
Vincent Laporte 181139fe09 Adds license CeCILL-B 2014-09-28 14:03:14 +01:00
Vincent Laporte 5e4cf92121 ocamlnet: update 3.7.3 -> 3.7.6 
Closes #4216
 2014-09-27 01:09:53 +01:00
Vincent Laporte c4197ff4dc Labels gdome2 as broken. 
Closes #4242
 2014-09-24 04:16:36 +01:00
Vincent Laporte 7f76d0c040 Fixes coccinelle (depends on camlp4) 2014-09-23 21:06:18 +01:00
Vincent Laporte b9741719fa Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for 
OCaml4.02)
 2014-09-23 20:48:50 +01:00
Vincent Laporte d274ee3f80 Adds camlp4 
Camlp4 is a software system for writing extensible parsers for
programming languages.

Camlp4 was part of the official OCaml distribution until its version
4.01.0.

Homepage: https://github.com/ocaml/camlp4
 2014-09-23 09:34:13 +01:00
Vincent Laporte 857c13e1af Minor modifications of some ocaml packages: 
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
 2014-09-21 11:02:55 +01:00