before release of 0.0.7

affeldt-aist · affeldt-aist · commit c96a6dd1457c · 2020-02-06T02:31:04.000+09:00
diff --git a/README.org b/README.org
@@ -13,13 +13,13 @@
 
 *** Last stable version:
 
-Version 0.0.6:
+Version 0.0.7:
 3. ~opam install coq-infotheo~
 
 **** Requirements
 
 - [[https://coq.inria.fr][Coq]] 8.10
-- [[https://github.com/math-comp/math-comp][Mathematical Components library]] 1.9.0 or 1.10.0
+- [[https://github.com/math-comp/math-comp][Mathematical Components library]] 1.10.0
 - [[https://github.com/math-comp/analysis][MathComp-Analysis]] 0.2.2 or 0.2.3
   which requires
   + [[https://github.com/math-comp/finmap][finmap]] 1.2.0 or greater
diff --git a/changelog.txt b/changelog.txt
@@ -1,6 +1,6 @@
---------------------------
-from 0.0.6 to 0.0.7 (wip):
---------------------------
+---------------------
+from 0.0.6 to 0.0.7 :
+---------------------
 renamings:
 - Module jtype -> Module JType
   + jtype.jtype -> JType.t
diff --git a/opam b/opam
@@ -26,7 +26,7 @@ install: [
 ]
 depends: [
   "coq" {>= "8.10~"}
-  "coq-mathcomp-field" {>= "1.9.0" & <= "1.10.0"}
+  "coq-mathcomp-field" {>= "1.10.0"}
   "coq-mathcomp-analysis"   {(>= "0.2.0" & <= "0.2.3")}
 ]
 synopsis: "Infotheo"
@@ -39,5 +39,5 @@ tags: [
   "keyword: probability"
   "keyword: error-correcting codes"
   "logpath:infotheo"
-  "date:2019-11-09"
+  "date:2020-02-06"
 ]

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ install: [`
`26`	`26`	`]`
`27`	`27`	`depends: [`
`28`	`28`	`"coq" {>= "8.10~"}`
`29`		`- "coq-mathcomp-field" {>= "1.9.0" & <= "1.10.0"}`
	`29`	`+ "coq-mathcomp-field" {>= "1.10.0"}`
`30`	`30`	`"coq-mathcomp-analysis" {(>= "0.2.0" & <= "0.2.3")}`
`31`	`31`	`]`
`32`	`32`	`synopsis: "Infotheo"`
`@@ -39,5 +39,5 @@ tags: [`
`39`	`39`	`"keyword: probability"`
`40`	`40`	`"keyword: error-correcting codes"`
`41`	`41`	`"logpath:infotheo"`
`42`		`- "date:2019-11-09"`
	`42`	`+ "date:2020-02-06"`
`43`	`43`	`]`