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

hol: unbreak on aarch64-linux (#470150)

Browse Source
This commit is contained in:
Aleksana
2025-12-13 01:27:35 +00:00
committed by GitHub
parent 124c003ce0 e549a4b112
commit b3e1a7e68a
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