Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 3a90d58a4491
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: f3ecf7d3e0f9
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Oct 15, 2019

  1. metamath: 0.172 -> 0.178 

    This also moves away from my mirror of the distributiont one hosted by
the metamath organization, which should generally be far more
up-to-date. However, that doesn't include any data files, so we need to
make sure we don't try to make those.
    Nathan van Doorn committed Oct 15, 2019

    Verified

    This commit was signed with the committer’s verified signature.
    makefu Felix Richter
    GPG key ID: 36F7711F3FC0F225
    Verified
    Learn about vigilant mode
    Copy the full SHA
    fc0be2a View commit details

  2. Merge pull request #71177 from Taneb/metamath-upgrade 

    metamath: 0.172 -> 0.178
    @gebner
    gebner authored Oct 15, 2019

    Verified

    This commit was signed with the committer’s verified signature.
    makefu Felix Richter
    GPG key ID: 36F7711F3FC0F225
    Verified
    Learn about vigilant mode
    Copy the full SHA
    f3ecf7d View commit details
Showing with 11 additions and 9 deletions.
  1. +11 −9 pkgs/development/interpreters/metamath/default.nix
20 changes: 11 additions & 9 deletions pkgs/development/interpreters/metamath/default.nix
View file
Original file line number Diff line number Diff line change
@@ -2,21 +2,23 @@

stdenv.mkDerivation {
pname = "metamath";
version = "0.172";
version = "0.178";

buildInputs = [ autoreconfHook ];

# This points to my own repository because there is no official repository
# for metamath; there's a download location but it gets updated in place with
# no permanent link. See discussion at
# https://groups.google.com/forum/#!topic/metamath/N4WEWQQVUfY
src = fetchFromGitHub {
owner = "Taneb";
repo = "metamath";
rev = "43141cd17638f8efb409dc5d46e7de6a6c39ec42";
sha256 = "07c7df0zl0wsb0pvdgkwikpr8kz7fi3mshxzk61vkamyp68djjb5";
owner = "metamath";
repo = "metamath-exe";
rev = "4f59d60aeb03f92aea3cc7ecf5a2c0fcf08900a5";
sha256 = "0nrl4nzp6rm2sn365xyjf3g5l5fl58kca7rq08lqyz5gla0wgfcf";
};

# the files necessary to build the DATA target are not in this distribution
# luckily, they're not really needed so we don't build it.
makeFlags = [ "DATA=" ];

installTargets = "install-exec";

meta = with stdenv.lib; {
description = "Interpreter for the metamath proof language";
longDescription = ''