nixsearch
nixsearch / pkg / metamath / 0.196

metamath 0.196

Interpreter for the metamath proof language
Linux and macOS last changed

Pin this version

$ devbox add metamath@0.196
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit2e3fd2634dbabe5215d1aa59e16a1ad04693ea6a 
$ nix shell github:NixOS/nixpkgs/2e3fd2634dbabe5215d1aa59e16a1ad04693ea6a#metamath

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 metamath 2e3fd2634dba
x86_64-darwin
macOS · x86-64		 metamath 2e3fd2634dba
x86_64-linux
Linux · x86-64		 metamath 2e3fd2634dba
← newer: 0.198 all 5 releases older: 0.194 →

JSON: /v2/pkg?name=metamath · /v2/resolve?name=metamath&version=0.196