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

Commits on Dec 24, 2016

  1. AgdaStdlib: v0.12 -> v0.13

    @laMudri
    laMudri committed Dec 24, 2016
    Copy the full SHA
    5683311 View commit details

Commits on Feb 15, 2017

  1. Merge pull request #21396 from laMudri/stdlib-v0.13 

    AgdaStdlib: v0.12 -> v0.13
    @peti
    peti authored Feb 15, 2017
    Copy the full SHA
    9e08675 View commit details
Showing with 2 additions and 2 deletions.
  1. +2 −2 pkgs/development/libraries/agda/agda-stdlib/default.nix
4 changes: 2 additions & 2 deletions pkgs/development/libraries/agda/agda-stdlib/default.nix
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
{ stdenv, agda, fetchFromGitHub, ghcWithPackages }:

agda.mkDerivation (self: rec {
version = "0.12";
version = "0.13";
name = "agda-stdlib-${version}";

src = fetchFromGitHub {
repo = "agda-stdlib";
owner = "agda";
rev = "v${version}";
sha256 = "1n5hn3xa0bqyq8rjvfsfmh6z3l8rr4z3s7gyfmf3kiv9f235bnd2";
sha256 = "156xbqvqjck9izz613v52ppwk8s1y0kv7xkjpcm16vys2c3bh0x5";
};

nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];