public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

idrisPackages.tparsec: 2019-09-19 -> 2020-02-11

Browse Source
This commit is contained in:
Alex Gryzlov 2020-02-17 20:08:27 +01:00 committed by GitHub
parent 69efb5cd34
commit 11a9dfeb96
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/idris-modules/tparsec.nix
View File

@ -5,7 +5,7 @@
}: }:
build-idris-package { build-idris-package {
name = "tparsec"; name = "tparsec";
version = "2019-09-19"; version = "2020-02-11";
ipkgName = "TParsec"; ipkgName = "TParsec";
@ -14,8 +14,8 @@ build-idris-package {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "gallais"; owner = "gallais";
repo = "idris-tparsec"; repo = "idris-tparsec";
rev = "cbaea6ec7e5b62536666329940f3ffb5b8b59036"; rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4";
sha256 = "0bzdv90a83irn7ca268acl19mjg9vxjmc4saa4naj4hdmg7srb2v"; sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx";
}; };
meta = { meta = {