this repo has no description

[catt] remove landmarks dependency + fix windows parsing issue

Changed files
+6 -7
packages
catt
catt.1.0
coq-catt-plugin
coq-catt-plugin.1.0
+3 -4
packages/catt/catt.1.0/opam
···
"ocaml" {>= "4.14" & < "5.0"}
"dune" {>= "3.16" & >= "3.10"}
"menhir" {>= "20240715"}
-
"landmarks"
"base" {>= "0.17.0"}
"odoc" {with-doc}
]
···
src:
"https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz"
checksum: [
-
"sha256=625d62decae13934c27510af08710e68a6ca15a2d243b68a035e8fc671a24ab5"
-
"sha512=c333ea31abedb82cb15d36713e2a534ccd9452fbbb4aa5b1410455cf8e5332e402984c1dd2bba9478f0273f755afcef506c9500c2a3bdf6f678833f1ba1b0314"
+
"sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb"
+
"sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b"
]
}
-
x-commit-hash: "192142cb5de9e99cd8e1a78bc7aadd9f9deb47e8"
+
x-commit-hash: "a3a3f3611f38b9fe295bcc6ca731b21e0a499cb3"
+3 -3
packages/coq-catt-plugin/coq-catt-plugin.1.0/opam
···
src:
"https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz"
checksum: [
-
"sha256=625d62decae13934c27510af08710e68a6ca15a2d243b68a035e8fc671a24ab5"
-
"sha512=c333ea31abedb82cb15d36713e2a534ccd9452fbbb4aa5b1410455cf8e5332e402984c1dd2bba9478f0273f755afcef506c9500c2a3bdf6f678833f1ba1b0314"
+
"sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb"
+
"sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b"
]
}
-
x-commit-hash: "192142cb5de9e99cd8e1a78bc7aadd9f9deb47e8"
+
x-commit-hash: "a3a3f3611f38b9fe295bcc6ca731b21e0a499cb3"