Skip to content

Commit 951e818

Browse files
fblanquifblanqui
committed
add x-maintenance-intent
1 parent 02a21b7 commit 951e818

File tree

1 file changed

+1
-0
lines changed
  • packages/hol2dk/hol2dk.2.1.0

1 file changed

+1
-0
lines changed

‎packages/hol2dk/hol2dk.2.1.0/opam‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
synopsis: "HOL-Light to Dedukti/Lambdapi and Rocq translator"
33
description: "HOL-Light to Dedukti/Lambdapi and Rocq translator"
4+
x-maintenance-intent: ["(latest)"]
45
maintainer: ["Frédéric Blanqui"]
56
authors: ["Frédéric Blanqui"]
67
license: "CeCILL-2.1"

0 commit comments

Comments
 (0)