tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
compcert: add missing semicolon in all-packages.nix
John Wiegley
11 years ago
e0612473
8d5c4e8b
+1
-1
1 changed file
expand all
collapse all
unified
split
pkgs
top-level
all-packages.nix
+1
-1
pkgs/top-level/all-packages.nix
···
2568
2568
2569
2569
cmucl_binary = callPackage ../development/compilers/cmucl/binary.nix { };
2570
2570
2571
2571
-
compcert = callPackage ../development/compilers/compcert {}
2571
2571
+
compcert = callPackage ../development/compilers/compcert {};
2572
2572
2573
2573
cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {});
2574
2574
cryptol2 = haskellPackages.cryptol;