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

Merge pull request #80372 from clayrat/patch-2

Browse Source 
idrisPackages.tparsec: 2019-09-19 -> 2020-02-11
This commit is contained in:
Silvan Mosberger 2020-02-18 01:49:23 +01:00 committed by GitHub
commit 11342b9ecf
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 {
name = "tparsec";
version = "2019-09-19";
version = "2020-02-11";
ipkgName = "TParsec";
@ -14,8 +14,8 @@ build-idris-package {
src = fetchFromGitHub {
owner = "gallais";
repo = "idris-tparsec";
rev = "cbaea6ec7e5b62536666329940f3ffb5b8b59036";
sha256 = "0bzdv90a83irn7ca268acl19mjg9vxjmc4saa4naj4hdmg7srb2v";
rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4";
sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx";
};
meta = {