pkgs/by-name/me/metamath/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   autoreconfHook,
   6 }:
   7
   8 stdenv.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 }