/gnu/store/4wf8w2aqqmwixkgaly4ad1f1p0fr53iz-coq-gappa-1.4.4

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/mkniq8brp6dhlc3xvfyhxpmad1kwl1xc-coq-gappa-1.4.4.drv

Derivation:

/gnu/store/66100d33ws6hdxf58d80i6id5sl16sxa-coq-gappa-1.4.4.drv

Derivation:

/gnu/store/qjdrxrxbhvhs87mzcl5fl9fshz2xrawb-coq-gappa-1.4.4.drv