Update Opam file

Author: proux01

coq-paramcoq.opam

@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-paramcoq"
 version: "1.1.2+coq8.10"
 maintainer: "Pierre Roux <pierre.roux@onera.fr>"
 
@@ -10,7 +9,6 @@ license: "MIT"
 
 build: [make "-j%{jobs}%"]
 install: [make "install"]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Param"]
 depends: [
   "coq" {>= "8.10" & < "8.10~"}
 ]
@@ -19,7 +17,6 @@ tags: [
   "keyword:paramcoq"
   "keyword:parametricity"
   "keyword:ocaml module"
-  "category:paramcoq"
   "category:Miscellaneous/Coq Extensions"
   "logpath:Param"
 ]
@@ -32,7 +29,7 @@ authors: [
   "Cyril Cohen"
   "Matthieu Sozeau"
 ]
-synopsis: "Paramcoq"
+synopsis: "Plugin for generating parametricity statements to perform refinement proofs"
 description: """
 The plugin is still in an experimental state. It is not very user
 friendly (lack of good error messages) and still contains bugs. But is