Metadata-Version: 2.1
Name: idr_bench
Version: 1.0.0
Home-page: https://github.com/idriscnrs/idr_bench
Author: IDRIS
Author-email: assist@idris.fr
License: MIT
License-File: LICENSE

