/gnu/store/ghr30q200b0c1pjymij7g5whibjbr1cn-
coq-gappa-1.3.4
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/z0iyr81s95nvvdaf5dpvv9zjw9afgzaf-
coq-gappa-1.3.4.drv
Derivation:
/gnu/store/w7jh94qngdzi0a48kr1a4nb4mfjxrihm-
coq-gappa-1.3.4.drv
Derivation:
/gnu/store/w04677gwnkf174gdwbw33c2wybpgjxqv-
coq-gappa-1.3.4.drv
Derivation:
/gnu/store/nrdyfkhc90207ww7f1s7lwffk584hadb-
coq-gappa-1.3.4.drv