pkgs/development/interpreters/metamath/default.nix

   1 { lib, stdenv, fetchFromGitHub, autoreconfHook }:
   2
   3 stdenv.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     mainProgram = "metamath";
  19     longDescription = ''
  20       The metamath program is an ASCII-based ANSI C program with a command-line
  21       interface. It was used (along with mmj2) to build and verify the proofs
  22       in the Metamath Proof Explorer, and it generated its web pages. The *.mm
  23       ASCII databases (set.mm and others) are also included in this derivation.
  24     '';
  25     homepage = "https://us.metamath.org";
  26     downloadPage = "https://us.metamath.org/#downloads";
  27     license = licenses.gpl2Plus;
  28     maintainers = [ maintainers.taneb ];
  29     platforms = platforms.all;
  30   };
  31 }