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