Metadata-Version: 2.1
Name: coqPackages.coq-elpi
Version: 3.3.0
Summary: Nix package: coqPackages.coq-elpi
Requires-Python: >=3.14
