{"name":"agda-cubical","version":"0.5","synopsis":{"source":"Standard library for Cubical Agda","html":"<div><p>Standard library for Cubical Agda</p></div>","plain":"Standard library for Cubical Agda\n\n","locale":"en_US.UTF-8"},"description":{"source":"A standard library for Cubical Agda, comparable to\nagda-stdlib but using cubical methods.","html":"<div><p>A standard library for Cubical Agda, comparable to agda-stdlib but using cubical methods.</p></div>","plain":"A standard library for Cubical Agda, comparable to agda-stdlib but using\ncubical methods.\n\n","locale":"en_US.UTF-8"},"location":{"file":"gnu/packages/agda.scm","line":265,"column":2},"home-page":"https://github.com/agda/cubical","derivations":[{"system":"x86_64-linux","target":"","derivation":"/gnu/store/mlm0dhw1fi055ir1pj04xvwac5r8nslk-agda-cubical-0.5.drv","outputs":[{"name":"out","path":"/gnu/store/fxmxgmvkcyb9cwbqirmc4wi7237bgg61-agda-cubical-0.5","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[{"hash":{"algorithm":"sha256","value":"0pdmq6lh60k8nrwf1nnfy1amrsgd6w38nzpppwklm7afdhayw31d"},"size":141774304},{"hash":{"algorithm":"sha256","value":"0pdmq6lh60k8nrwf1nnfy1amrsgd6w38nzpppwklm7afdhayw31d"},"size":141774304}]}]},{"system":"i686-linux","target":"","derivation":"/gnu/store/ibwrg0gclpxpb2nlw9a17qjlg7p39xc4-agda-cubical-0.5.drv","outputs":[{"name":"out","path":"/gnu/store/nczrsbxkyf2cr9dsf36lhrg4iw9nggvv-agda-cubical-0.5","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[{"hash":{"algorithm":"sha256","value":"1ca7248qly7bi2dxc6bxpnxp0w8f2f23c3w1qh7yw92qqzvphglc"},"size":141770488}]}]}]}