tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 autoreconfHook,
6}:
7
8stdenv.mkDerivation rec {
9 pname = "metamath";
10 version = "0.198";
11
12 nativeBuildInputs = [ autoreconfHook ];
13
14 src = fetchFromGitHub {
15 owner = "metamath";
16 repo = "metamath-exe";
17 rev = "v${version}";
18 sha256 = "sha256-Cg1dgz+uphDlGhKH3mTywtAccWinC5+pwNv4TB3YAnI=";
19 };
20
21 meta = with lib; {
22 description = "Interpreter for the metamath proof language";
23 mainProgram = "metamath";
24 longDescription = ''
25 The metamath program is an ASCII-based ANSI C program with a command-line
26 interface. It was used (along with mmj2) to build and verify the proofs
27 in the Metamath Proof Explorer, and it generated its web pages. The *.mm
28 ASCII databases (set.mm and others) are also included in this derivation.
29 '';
30 homepage = "https://us.metamath.org";
31 downloadPage = "https://us.metamath.org/#downloads";
32 license = licenses.gpl2Plus;
33 maintainers = [ maintainers.taneb ];
34 platforms = platforms.all;
35 };
36}