gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

hol: unbreak on aarch64-linux

Browse Source
This commit is contained in:
poz
2025-12-12 14:37:22 +01:00
parent b00b0e5d23
commit e549a4b112
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ho/hol/package.nix
-1
View File
@@ -77,7 +77,6 @@ stdenv.mkDerivation {
'';
meta = {
broken = (stdenv.hostPlatform.isLinux && stdenv.hostPlatform.isAarch64);
description = "Interactive theorem prover based on Higher-Order Logic";
longDescription = ''
HOL4 is the latest version of the HOL interactive proof