{"name":"ocamlPackages.psmt2-frontend","version":"0.2","summary":"A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b4e193a23a1c5d8794794e65cabf1f1135d07fd9"},"attr_path":"ocamlPackages.psmt2-frontend"},"last_updated":"2021-02-19T05:56:21Z"}}}