/gnu/store/98iwp06km33cqizzxxask0iwvchixilg-
proof-general-4.4-1.1b1083e
Nars
View narinfo details
View JSON
Builds
Failed
Failed
Failed
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