Homepage: https://gitlab.inria.fr/solverstack/hips

License: CeCILL-C V1 (redistribution allowed)

# SHA256 checksums

db198f65dd4bbca25cffe537e1c659c7ca94cd5a64a32c8b9165caacb5b09603  hips-1.2b-rc5.tar.gz

# History

(20211004)
- gforge.inria.fr not longer available, shut down was announced up front
  (see https://giters.com/coq/opam-coq-archive/issues/1298?amp=1)

- mirror installed at https://sources.easybuild.io/h/HIPS/

- see also https://github.com/easybuilders/easybuild-easyconfigs/issues/14098