LDA010 b7df015bb4 copy 7 gadi atpakaļ
..
50agda-stdlib-gentoo.el b7df015bb4 copy 7 gadi atpakaļ
standard-library.agda-lib b7df015bb4 copy 7 gadi atpakaļ