Remove 'topics' tag

btjorge · web-flow · commit 190345f10ee6 · 2024-12-18T20:07:40.000+01:00
diff --git a/packages/why3find/why3find.1.1.0/opam b/packages/why3find/why3find.1.1.0/opam
@@ -8,7 +8,7 @@ authors: [
   "Benjamin Jorge <benjamin.jorge@cea.fr>"
 ]
 license: "LGPL-2.1-only"
-tags: ["topics" "why3"]
+tags: ["why3"]
 homepage: "https://git.frama-c.com/pub/why3find"
 doc: "https://git.frama-c.com/pub/why3find"
 bug-reports: "https://git.frama-c.com/pub/why3find/issues"
@@ -47,4 +47,4 @@ url {
     "md5=d0a9d93c87e9cd87a3ca9131c6d1f088"
     "sha512=38de62fb97f4e52a1dfb7d4d8b4efad007ea04595068c5d842e11e659811ea3489497a04e627c420b41c381f8005935749b1af7575d007bdaf6ba03ed1ad7bfc"
   ]
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ authors: [`
`8`	`8`	`"Benjamin Jorge <[email protected]>"`
`9`	`9`	`]`
`10`	`10`	`license: "LGPL-2.1-only"`
`11`		`-tags: ["topics" "why3"]`
	`11`	`+tags: ["why3"]`
`12`	`12`	`homepage: "https://git.frama-c.com/pub/why3find"`
`13`	`13`	`doc: "https://git.frama-c.com/pub/why3find"`
`14`	`14`	`bug-reports: "https://git.frama-c.com/pub/why3find/issues"`
`@@ -47,4 +47,4 @@ url {`
`47`	`47`	`"md5=d0a9d93c87e9cd87a3ca9131c6d1f088"`
`48`	`48`	`"sha512=38de62fb97f4e52a1dfb7d4d8b4efad007ea04595068c5d842e11e659811ea3489497a04e627c420b41c381f8005935749b1af7575d007bdaf6ba03ed1ad7bfc"`
`49`	`49`	`]`
`50`		`-}`
	`50`	`+}`