Public bug reported:
https://autopkgtest.ubuntu.com/packages/c/coquelicot/stonking/amd64
67s autopkgtest [08:32:29]: test examples: [-----------------------
68s File "./BacS2013.v", line 22, characters 5-8:
68s Warning: "From Coq" has been replaced by "From Stdlib".
68s [deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
68s File "./BacS2013.v", line 24, characters 0-112:
68s Warning:
68s New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an
identity function.
68s [ambiguous-paths,coercions,default]
69s File "./BacS2013.v", line 118, characters 8-17:
69s Error: In environment
69s x : R
69s Hx : 0 < x
69s Unable to unify "1 * ?r = ?r" with "0 < 2 / x ^ 2".
69s
69s autopkgtest [08:32:31]: test examples: -----------------------]
70s autopkgtest [08:32:32]: test examples: - - - - - - - - - - results - - -
- - - - - - -
70s examples FAIL non-zero exit status 1
** Affects: coq-interval (Ubuntu)
Importance: Undecided
Status: New
** Affects: coquelicot (Ubuntu)
Importance: Undecided
Status: New
** Tags: update-excuse
** Tags added: update-excuse
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2167847
Title:
coquelicot: autopkgtest regression
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq-interval/+bug/2167847/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
