/gnu/store/spynw2l6pj05axgqmpsqrv72l4zs7q0s-
proof-general-4.4-1.1b1083e
Nars
View narinfo details
View JSON
Builds
Scheduled
Derivation:
/gnu/store/az0k4axd7b253wr9k0d7ds74bpinsrkr-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/qif1r2w7jqrni0f99i793dmaqbjpbsx6-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/jmskyhdg94lv9ndncm6px7vag90pmirs-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/lnkpvln2alcz04z2bn1gcg7ajx66qk6w-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/nhynkac07iybjlhpsywczb0jh8x6vzwq-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/357wzmqysblmj15bbh9qxh9yp3a8v86k-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/dwfibfrh68pnrxbmw8db5igx6y8dgckr-
proof-general-4.4-1.1b1083e.drv