/gnu/store/2m8yhxrk134mlm1imfd8c64mfay7f3vf-proof-general-4.4-1.1b1083e

Nars

View narinfo detailsView JSON

Builds

FailedFailedFailed

Derivation:

/gnu/store/2rd3pf6797124w775wqzl9sgwp6dmhcz-proof-general-4.4-1.1b1083e.drv

Derivation:

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

Derivation:

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

Derivation:

/gnu/store/92hahfza6nwy45iy308z1b9x256mmz7v-proof-general-4.4-1.1b1083e.drv

Derivation:

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

Derivation:

/gnu/store/1qwpj17g81r0r0q1l71s7hyw6gd8pdmk-proof-general-4.4-1.1b1083e.drv

Derivation:

/gnu/store/29a8lfl9s7vm1vb4irgnlx909cnqzk4b-proof-general-4.4-1.1b1083e.drv