idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build

This commit is contained in:
Silvan Mosberger 2018-07-02 05:30:06 +02:00
parent 0519b48ab8
commit 74d2b01db5
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7

View file

@ -4,13 +4,13 @@
}:
build-idris-package {
name = "tparsec";
version = "2017-12-12";
version = "2018-06-26";
src = fetchFromGitHub {
owner = "gallais";
repo = "idris-tparsec";
rev = "fb87d08f8f58c934f37d8324b43b0979abcf2183";
sha256 = "0362076bfs976gqki4b4pxblhnk4xglgx5v2aycjpxsxlpxh6cfd";
rev = "ca32d1a83f3de95f8979d48016e79d010f47b3c2";
sha256 = "1zjzk8xjmyyx1qwrdwwg7yjzcgj5wkbwpx8a3wpbj5sv4b5s2r30";
};
meta = {