{ stdenv, agda, fetchurl }: agda.mkDerivation (self: rec { version = "0.1"; name = "agda-base-${version}"; src = fetchurl { url = "https://github.com/pcapriotti/agda-base/archive/v${version}.tar.gz"; sha256 = "124h06p7jdiqr2x6r46sfab9r0cgb0fznr2qs5i1psl5yf3z74h8"; }; sourceDirectories = [ "./." ]; everythingFile = "README.agda"; meta = { homepage = https://github.com/pcapriotti/agda-base; description = "Base library for HoTT in Agda"; license = stdenv.lib.licenses.bsd3; platforms = stdenv.lib.platforms.unix; maintainers = with stdenv.lib.maintainers; [ ]; broken = true; # largely replaced by HoTT-Agda }; })