pkgs/development/coq-modules/simple-io · nixpkgs · Tangled

lol

nixpkgs pkgs development coq-modules simple-io

2 files

· coqPackages.simple-io: 1.10.0 -> 1.11.0 · 9mo ago

coqPackages.simple-io: 1.10.0 -> 1.11.0

treewide: format all inactive Nix files