|
|
|
@ -1,16 +1,14 @@ |
|
|
|
|
{ lib, mkDerivation, fetchFromGitHub, ghc, glibcLocales }: |
|
|
|
|
|
|
|
|
|
mkDerivation rec { |
|
|
|
|
|
|
|
|
|
# Version 0.2 is meant to be used with the Agda 2.6.1 compiler. |
|
|
|
|
pname = "cubical"; |
|
|
|
|
version = "0.2"; |
|
|
|
|
version = "0.3pred5030a9"; |
|
|
|
|
|
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
repo = pname; |
|
|
|
|
owner = "agda"; |
|
|
|
|
rev = "v${version}"; |
|
|
|
|
sha256 = "07qlp2f189jvzbn3aqvpqk2zxpkmkxhhkjsn62iq436kxqj3z6c2"; |
|
|
|
|
rev = "d5030a9c89070255fc575add4e9f37b97e6a0c0c"; |
|
|
|
|
sha256 = "18achbxap4ikydigmz3m3xjfn3i9dw4rn8yih82vrlc01j02nqpi"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
LC_ALL = "en_US.UTF-8"; |
|
|
|
|