summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic/hol_light
AgeCommit message (Expand)Author
8 dayshol_light: 2024-05-10 → 2024-07-07Vincent Laporte
2024-05-29hol_light: 2023-11-03 → 2024-05-10Vincent Laporte
2023-11-20hol_light: 2023-07-21 → 2023-11-03Vincent Laporte
2023-08-04hol_light: 2019-10-06 → 2023-07-21Vincent Laporte
2023-06-24treewide: use optionalString instead of 'then ""'Felix Buehler
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid
2021-11-07pkgs/applications: rename name to pname&version part 2Felix Buehler
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-19ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte
2019-10-13Merge branch 'master' into rename-z77z-into-maggesiMarco Maggesi
2019-10-09hol_light: 2019-03-27 -> 2019-10-06Marco Maggesi
2019-10-07Rename z77z into maggesiMarco Maggesi
2019-04-06hol_light: 2018-09-30 -> 2019-03-27Vincent Laporte
2019-02-26treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim
2019-01-16treewide: use ${stdenv.shell} instead of /bin/sh where possiblernhmjoj
2018-10-06hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi
2018-07-21pkgs/*: remove unreferenced function argumentsvolth
2017-07-08hol_light: 2016-07-23 -> 2017-07-06Vincent Laporte
2016-11-29hol_light: fix build with Camlp5-6.17Vincent Laporte
2016-07-28Update HOL Light to version 2016-07-23.Marco Maggesi
2016-05-01hol-light: fix build with camlp5-6.16Vincent Laporte
2015-11-03Update HOL Light to version 2015-11-02Marco Maggesi
2015-09-23hol_light: add support for camlp5 > 6.12Vincent Laporte
2015-09-13HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi
2015-09-01Update HOL Light to svn r244.Marco Maggesi
2015-06-03Update HOL Light to svn r232 (2015-05-31)Marco
2015-02-17Update HOL Light to r218Marco
2014-11-17hol_light: update from 199 to 205Vincent Laporte
2014-10-01hol_light: update to r199Vincent Laporte
2014-09-16Update hol_light to r198. Add myself as a maintainerMarco Maggesi
2014-04-27hol_light: fix script, upgrade to r189Austin Seipp
2014-01-14Update HOL Light to revision 179Marco Maggesi
2013-10-06More description fixesBjørn Forsman
2013-03-25Update HOL Light to rev 157Marco Maggesi
2013-02-08Update HOL Light to revision 155Marco Maggesi
2013-02-08Update HOL Light to revision 154Marco Maggesi
2012-12-23Update HOL Light (and fix installation)Marco Maggesi
2012-05-30Update HOL Light to rev 141Marco Maggesi
2012-05-05Update HOL Light to r134Marco Maggesi
2012-03-17Update HOL Light to rev 128Marco Maggesi
2012-02-06svn merge ^/nixpkgs/trunkYury G. Kudryashov
2012-02-01Update HOL Light to rev 122.Marco Maggesi
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra
2012-01-10Update HOL Light to rev 118Marco Maggesi
2011-12-28Oops!Marco Maggesi
2011-12-28Update HOL Light to r116Marco Maggesi
2011-12-16Update HOL Light to rev 114Marco Maggesi
2011-11-10Updated HOL Light to revision 112Marco Maggesi
2011-08-21Update HOL Light to release 102Marco Maggesi
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-30 09:15:17 +0000