summary refs log tree commit diff
path: root/pkgs/applications/science/logic/hol_light
Commit message (Collapse)AuthorAge
* hol-light: fix build with camlp5-6.16Vincent Laporte2016-05-01
|
* Update HOL Light to version 2015-11-02Marco Maggesi2015-11-03
|
* hol_light: add support for camlp5 > 6.12Vincent Laporte2015-09-23
|
* HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi2015-09-13
|
* Update HOL Light to svn r244.Marco Maggesi2015-09-01
|
* Update HOL Light to svn r232 (2015-05-31)Marco2015-06-03
|
* Update HOL Light to r218Marco2015-02-17
|
* hol_light: update from 199 to 205Vincent Laporte2014-11-17
|
* hol_light: update to r199Vincent Laporte2014-10-01
| | | | And adds compatibility with camlp5-6.12
* Update hol_light to r198. Add myself as a maintainerMarco Maggesi2014-09-16
|
* hol_light: fix script, upgrade to r189Austin Seipp2014-04-27
| | | | | | | This also tweaks the version number to just use the SVN revision (rather than date), since it's unambiguous and increasing anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Update HOL Light to revision 179Marco Maggesi2014-01-14
|
* More description fixesBjørn Forsman2013-10-06
| | | | | | | | | | | * Remove package name * Start with upper case letter * Remove trailing period Also reword some descriptions and move some long descriptions to longDescription. I'm not touching generated packages.
* Update HOL Light to rev 157Marco Maggesi2013-03-25
|
* Update HOL Light to revision 155Marco Maggesi2013-02-08
|
* Update HOL Light to revision 154Marco Maggesi2013-02-08
|
* Update HOL Light (and fix installation)Marco Maggesi2012-12-23
|
* Update HOL Light to rev 141Marco Maggesi2012-05-30
| | | | svn path=/nixpkgs/trunk/; revision=34290
* Update HOL Light to r134Marco Maggesi2012-05-05
| | | | svn path=/nixpkgs/trunk/; revision=33992
* Update HOL Light to rev 128Marco Maggesi2012-03-17
| | | | svn path=/nixpkgs/trunk/; revision=33196
* svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-06
|\ | | | | | | | | | | | | | | | | | | | | | | Merge conflicts: * unzip (almost trivial) * dvswitch (trivial) * gmp (copied result of `git merge`) The last item introduced gmp-5.0.3, thus full rebuild. +ensureDir->mkdir -p in TeX packages was catched by git but not svn. svn path=/nixpkgs/branches/stdenv-updates/; revision=32091
| * Update HOL Light to rev 122.Marco Maggesi2012-02-01
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31956
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
|/ | | | | | function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
* Update HOL Light to rev 118Marco Maggesi2012-01-10
| | | | svn path=/nixpkgs/trunk/; revision=31468
* Oops!Marco Maggesi2011-12-28
| | | | svn path=/nixpkgs/trunk/; revision=31126
* Update HOL Light to r116Marco Maggesi2011-12-28
| | | | svn path=/nixpkgs/trunk/; revision=31125
* Update HOL Light to rev 114Marco Maggesi2011-12-16
| | | | svn path=/nixpkgs/trunk/; revision=30922
* Updated HOL Light to revision 112Marco Maggesi2011-11-10
| | | | svn path=/nixpkgs/trunk/; revision=30369
* Update HOL Light to release 102Marco Maggesi2011-08-21
| | | | svn path=/nixpkgs/trunk/; revision=28718
* Update HOL Light to rev 92Marco Maggesi2011-06-14
| | | | svn path=/nixpkgs/trunk/; revision=27459
* Update hol_light and cleanup:Marco Maggesi2011-05-21
| | | | | | | | * Update hol_light to rev 90 * Remove dmtcp checkpoint (it doesn't work properly). * General cleanup and simplification svn path=/nixpkgs/trunk/; revision=27290
* Update HOL Light to r89Marco Maggesi2011-04-21
| | | | svn path=/nixpkgs/trunk/; revision=26916
* * Handle variable createFindlibDestdir correctly in ocaml-findlibMarco Maggesi2010-12-23
| | | | | | * Fix HOL Light derivation svn path=/nixpkgs/trunk/; revision=25269
* Update HOL LightMarco Maggesi2010-11-03
| | | | svn path=/nixpkgs/trunk/; revision=24591
* Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi2010-09-15
| | | | | | | | | | | | | | | | | | | | Also replace the monolitic derivation hol_light_binaries with smaller derivations. Now the installation works as follows: # Install the base system and a script "start_hol_light" $ nix-env -i hol_light_sources hol_light # Install a checkpointed executable with the core library preloaded $ nix-env -i hol_light_core_dmtcp # Install HOL Light binaries preloaded with other specific libraries: $ nix-env -i hol_light_multivariate_dmtcp $ nix-env -i hol_light_complex_dmtcp $ nix-env -i hol_light_sosa_dmtcp $ nix-env -i hol_light_card_dmtcp svn path=/nixpkgs/trunk/; revision=23815
* Improve hol_light:Marco Maggesi2010-09-08
| | | | | | | | | | | | * Upgrade hol_light to the latest svn version on google code (r57). * Improve and semplify the mechanism for the generation of checkpointed binaries. * Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11). * Remove ocaml_with_sources which is not needed anymore. svn path=/nixpkgs/trunk/; revision=23685
* Add HOL Light and its dependencies.Marco Maggesi2010-02-15
Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 13:06:58 +0000