index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
/
hol_light
Commit message (
Expand
)
Author
Age
*
treewide: with stdenv.lib; in meta -> with lib;
Profpatsch
2021-01-11
*
treewide: Per RFC45, remove all unquoted URLs
Michael Reilly
2020-04-10
*
ocamlPackages.camlp5: 7.10 → 7.11
Vincent Laporte
2020-03-19
*
Merge branch 'master' into rename-z77z-into-maggesi
Marco Maggesi
2019-10-13
|
\
|
*
hol_light: 2019-03-27 -> 2019-10-06
Marco Maggesi
2019-10-09
*
|
Rename z77z into maggesi
Marco Maggesi
2019-10-07
|
/
*
hol_light: 2018-09-30 -> 2019-03-27
Vincent Laporte
2019-04-06
*
treewide: use runtimeShell instead of stdenv.shell whenever possible
Jörg Thalheim
2019-02-26
*
treewide: use ${stdenv.shell} instead of /bin/sh where possible
rnhmjoj
2019-01-16
*
hol_light: 2017-07-06 -> 2018-09-30
Marco Maggesi
2018-10-06
*
pkgs/*: remove unreferenced function arguments
volth
2018-07-21
*
hol_light: 2016-07-23 -> 2017-07-06
Vincent Laporte
2017-07-08
*
hol_light: fix build with Camlp5-6.17
Vincent Laporte
2016-11-29
*
Update HOL Light to version 2016-07-23.
Marco Maggesi
2016-07-28
*
hol-light: fix build with camlp5-6.16
Vincent Laporte
2016-05-01
*
Update HOL Light to version 2015-11-02
Marco Maggesi
2015-11-03
*
hol_light: add support for camlp5 > 6.12
Vincent Laporte
2015-09-23
*
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
Marco Maggesi
2015-09-13
*
Update HOL Light to svn r244.
Marco Maggesi
2015-09-01
*
Update HOL Light to svn r232 (2015-05-31)
Marco
2015-06-03
*
Update HOL Light to r218
Marco
2015-02-17
*
hol_light: update from 199 to 205
Vincent Laporte
2014-11-17
*
hol_light: update to r199
Vincent Laporte
2014-10-01
*
Update hol_light to r198. Add myself as a maintainer
Marco Maggesi
2014-09-16
*
hol_light: fix script, upgrade to r189
Austin Seipp
2014-04-27
*
Update HOL Light to revision 179
Marco Maggesi
2014-01-14
*
More description fixes
Bjørn Forsman
2013-10-06
*
Update HOL Light to rev 157
Marco Maggesi
2013-03-25
*
Update HOL Light to revision 155
Marco Maggesi
2013-02-08
*
Update HOL Light to revision 154
Marco Maggesi
2013-02-08
*
Update HOL Light (and fix installation)
Marco Maggesi
2012-12-23
*
Update HOL Light to rev 141
Marco Maggesi
2012-05-30
*
Update HOL Light to r134
Marco Maggesi
2012-05-05
*
Update HOL Light to rev 128
Marco Maggesi
2012-03-17
*
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-02-06
|
\
|
*
Update HOL Light to rev 122.
Marco Maggesi
2012-02-01
*
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
Eelco Dolstra
2012-01-18
|
/
*
Update HOL Light to rev 118
Marco Maggesi
2012-01-10
*
Oops!
Marco Maggesi
2011-12-28
*
Update HOL Light to r116
Marco Maggesi
2011-12-28
*
Update HOL Light to rev 114
Marco Maggesi
2011-12-16
*
Updated HOL Light to revision 112
Marco Maggesi
2011-11-10
*
Update HOL Light to release 102
Marco Maggesi
2011-08-21
*
Update HOL Light to rev 92
Marco Maggesi
2011-06-14
*
Update hol_light and cleanup:
Marco Maggesi
2011-05-21
*
Update HOL Light to r89
Marco Maggesi
2011-04-21
*
* Handle variable createFindlibDestdir correctly in ocaml-findlib
Marco Maggesi
2010-12-23
*
Update HOL Light
Marco Maggesi
2010-11-03
*
Update HOL Light to version 20100820 (rev57 on google code).
Marco Maggesi
2010-09-15
*
Improve hol_light:
Marco Maggesi
2010-09-08
[next]