From 9fe8b97da6218bf78fb33cbc28d13ef1515221c3 Mon Sep 17 00:00:00 2001 From: Aleksandar Nanevski Date: Mon, 7 Oct 2024 21:22:34 +0200 Subject: [PATCH] Update released/packages/coq-htt-core/coq-htt-core.2.0.1/opam Co-authored-by: Karl Palmskog --- released/packages/coq-htt-core/coq-htt-core.2.0.1/opam | 4 ---- 1 file changed, 4 deletions(-) diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam index b12d67748..c3cd40962 100644 --- a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam +++ b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam @@ -1,9 +1,5 @@ -# This file was generated from `meta.yml`, please do not edit manually. -# Follow the instructions on https://github.com/coq-community/templates to regenerate. - opam-version: "2.0" maintainer: "fcsl@software.imdea.org" -version: "dev" homepage: "https://github.com/imdea-software/htt" dev-repo: "git+https://github.com/imdea-software/htt.git"