sci-mathematics/coq – Gentoo Packages

Packages

Get Gentoo!

Bug Reports

sci-mathematics/coq-8.6.1-r1 - File "lib/pp_control.ml", line 61, characters 22-33: 61 | let ft = with_fp ch (output ch) (fun () -> flush ch) in Error: This expression has type bytes -> int -> int -> unit

750251 - Assigned to sci-mathematics

Keywording Bug Reports

sci-mathematics/coq: rekeywording

750956 - Assigned to sci-mathematics

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:

Shortcuts

Packages Bugs (1)
Stabilization Bugs (0)
Keywording Bugs (1)