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: 95208ca3505c
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 6108c23eb40a
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Nov 16, 2020

  1. metamath: 0.182 -> 0.193

    @Taneb
    Taneb committed Nov 16, 2020
    Copy the full SHA
    c140706 View commit details

Commits on Nov 24, 2020

  1. Merge pull request #103964 from Taneb/metamath-193 

    metamath: 0.182 -> 0.193
    @symphorien
    symphorien authored Nov 24, 2020

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    6108c23 View commit details
Showing with 3 additions and 3 deletions.
  1. +3 −3 pkgs/development/interpreters/metamath/default.nix
6 changes: 3 additions & 3 deletions pkgs/development/interpreters/metamath/default.nix
View file
Original file line number Diff line number Diff line change
@@ -2,15 +2,15 @@

stdenv.mkDerivation {
pname = "metamath";
version = "0.182";
version = "0.193";

buildInputs = [ autoreconfHook ];

src = fetchFromGitHub {
owner = "metamath";
repo = "metamath-exe";
rev = "5df616efe4119ff88daf77e7041d45b6fa39c578";
sha256 = "0amjdgy42c7jypf6sz98iczlxcyl9bqx67ws1q8w2zdqk2izsyjp";
rev = "f973c81222ebe36580a24f0fa7bbb600990af7d6";
sha256 = "1s9hyknfvhj86g3giayyf3dxzg23iij0rs7bdvj075v9qbyhqn9b";
};

meta = with stdenv.lib; {