/gnu/store/8r7vr5ka6js89rlp9qw7w9ya5xwd0gs5-coq-core-8.14.0

Nars

View narinfo detailsView JSON

Builds

Succeeded

Derivation:

/gnu/store/xp3j3n74wv5h8c2i73fg8hcf27w5v9p4-coq-core-8.14.0.drv

Derivation:

/gnu/store/k1zz2whgmrjv37zvnyrxvsrc6rfq9axi-coq-core-8.14.0.drv

Derivation:

/gnu/store/jih08rb8zd7qlhvcc0zgzx9f3ddz4ps7-coq-core-8.14.0.drv