{"name":"coqPackages.ltac2","summary":"A robust and expressive tactic language for Coq","description":"","homepage_url":"https://github.com/coq/ltac2","license":"LGPL-2.1-only","attribute_paths":["coqPackages.ltac2"],"releases":[{"version":"0.2","last_updated":"2020-08-14T19:01:46Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ltac2","commit_hash":"729e7295cf7b3205fcfa72544c1195c03de11c3d","date":"2020-08-14T19:01:46Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}