| Commit message (Collapse) | Author | Age |
|
|
|
| |
Plus a small number of obsolete packages (like old versions of qemu).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Also added the dependency on lablgtk, so that it builds the 'dgraph' module,
which is needed for packaging frama-c. This dependency can be made optional.
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=34312
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=34311
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=34310
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=34260
|
|
|
|
|
|
|
| |
* Updated some ocaml packages.
* Updated coccinelle.
svn path=/nixpkgs/trunk/; revision=33674
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Markus Mottl <markus.mottl@gmail.com> said by email to me that
``Note that this link is served by a Mercurial Apache module, i.e. this
is not static content. It's likely that e.g. tar or bzip2 produce
slightly different output, which would explain changing hashes.
So I guess we shouldn't worry too much about the change in hash?
svn path=/nixpkgs/trunk/; revision=33419
|
|
|
|
|
|
| |
installed. Turns out that also the 'opt' make target must be run besides 'all'.
svn path=/nixpkgs/trunk/; revision=33350
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=33349
|
|\
| |
| |
| | |
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
|
| |
| |
| |
| | |
svn path=/nixpkgs/trunk/; revision=32687
|
|/
|
|
|
|
| |
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
|
|
|
|
|
|
| |
Added additional ocaml modules which are needed for coccinelle.
svn path=/nixpkgs/trunk/; revision=31579
|
|
|
|
|
|
| |
The previous version did not compile with ocaml>=3.12, and this version is also backwards compatible with 3.11.
svn path=/nixpkgs/trunk/; revision=31578
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=30926
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=30924
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=30578
|
|
|
|
|
|
|
| |
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex.
Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice.
svn path=/nixpkgs/trunk/; revision=30552
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=27901
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=27900
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=27303
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=27300
|
|
|
|
|
|
|
|
|
| |
* Add camomile 0.8.3 and 0.8.2 (for ocaml_batteries).
* Remove obsolete camomile 0.7.3 and 0.8.1.
* Update ocaml_batteries to version 1.3.0 (also add fixes for Darwin).
svn path=/nixpkgs/trunk/; revision=27299
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25328
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25221
|
|
|
|
|
|
| |
* Set createFindlibDestdir to various ocaml packages.
svn path=/nixpkgs/trunk/; revision=25220
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25072
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25071
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25069
|
|
|
|
| |
svn path=/nixpkgs/trunk/; revision=25065
|
|
|
|
|
|
| |
cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl
svn path=/nixpkgs/trunk/; revision=25064
|
|
camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
|