/gnu/store/98iwp06km33cqizzxxask0iwvchixilg-proof-general-4.4-1.1b1083e

Nars

View narinfo detailsView JSON

Builds

FailedFailedFailed

Derivation:

/gnu/store/3abnzv0shz02v84k4crgaskqr5wkc7l1-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/r0vay9ky094id3zx15jjw14hrsyiafma-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/qdg8cj5vb399705r1yzvid9hkb93ma61-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/a8bm9jv9yfj3xqdrg64yz016jbxi7r90-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/izsm0hkgdm86m7fg7c0wq2vqg4y28gam-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/sjvvancwn06lsm9sa5a5jv3zfvq1hi5s-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/akvgvawfrk221i9fl3n8rrwcsm1pzcf1-proof-general-4.4-1.1b1083e.drv