summary refs log tree commit diff
path: root/pkgs/applications/science/logic/hol/default.nix
Commit message (Expand)AuthorAge
* treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel2022-05-30
* hol: expand platforms to unixBen Siraphob2021-07-01
* hol: 10 -> 14Vladimir Serov2021-02-23
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: Make configureFlags listsJohn Ericson2018-08-03
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* hol: mark as brokenRobin Gloster2017-03-14
* treewide: Add lots of meta.platformsTuomas Tynkkynen2016-08-02
* fontconfig: split into multiple outputsVladimír Čunát2015-10-05
* hol: k.8 -> k.10, closes #8477laMudri2015-06-24
* Fix license attribute of many bsd-like licensed packagesPascal Wittmann2014-12-21
* Fix HOL documentation buildKarn Kallio2013-11-16
* HOL: update to k.8Tom Ridge2013-11-16
* hol: fix access to dotPeter Simons2013-10-11
* hol: update to version k.8Peter Simons2013-10-10
* More description fixesBjørn Forsman2013-10-06
* Upgrading HOL4 to version k.7.Russell O'Connor2012-03-20
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 19:39:41 +0000