Fix linter errors

R1kM · R1kM · commit 81b2c64e6ec3 · 2023-04-01T05:22:31.000+09:00
diff --git a/packages/karamel/karamel.0.9.6.0/opam b/packages/karamel/karamel.0.9.6.0/opam
@@ -41,9 +41,9 @@ remove: [
 ]
 dev-repo: "git+https://github.com/FStarLang/karamel"
 bug-reports: "https://github.com/FStarLang/karamel/issues"
-synopsis: "A compiler from Low*, a low-level subset of F*, to C."
+synopsis: "A compiler from Low*, a low-level subset of F*, to C"
 flags: light-uninstall
 url {
   src: "https://github.com/FStarLang/karamel/archive/v0.9.6.0.zip"
-  checksum: "md5=6a580d0b470484db5637d593a06811be"
+  checksum: "md5=a158d05a4863d324ba9af5bf6b2fb22a"
 }
diff --git a/packages/kremlin/kremlin.transition/opam b/packages/kremlin/kremlin.transition/opam
@@ -25,3 +25,4 @@ depends: [
 ]
 depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
 synopsis: "Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled"
+bug-reports: "https://github.com/FStarLang/karamel/issues"

Original file line number	Diff line number	Diff line change
`@@ -41,9 +41,9 @@ remove: [`
`41`	`41`	`]`
`42`	`42`	`dev-repo: "git+https://github.com/FStarLang/karamel"`
`43`	`43`	`bug-reports: "https://github.com/FStarLang/karamel/issues"`
`44`		`-synopsis: "A compiler from Low, a low-level subset of F, to C."`
	`44`	`+synopsis: "A compiler from Low, a low-level subset of F, to C"`
`45`	`45`	`flags: light-uninstall`
`46`	`46`	`url {`
`47`	`47`	`src: "https://github.com/FStarLang/karamel/archive/v0.9.6.0.zip"`
`48`		`- checksum: "md5=6a580d0b470484db5637d593a06811be"`
	`48`	`+ checksum: "md5=a158d05a4863d324ba9af5bf6b2fb22a"`
`49`	`49`	`}`
Original file line number	Diff line number	Diff line change
`@@ -25,3 +25,4 @@ depends: [`
`25`	`25`	`]`
`26`	`26`	`depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}`
`27`	`27`	`synopsis: "Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled"`
	`28`	`+bug-reports: "https://github.com/FStarLang/karamel/issues"`