{"name":"cryptol","version":"2.9.0","summary":"Cryptol: The Language of Cryptography","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1c014d4a0ec4b872d2451612422b337ee604f779"},"attr_path":"cryptol"},"last_updated":"2020-08-22T05:03:01Z"}}}