Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 19307 Details for
Bug 30388
New ebuild: The Coq theorem prover
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
ocaml-3.07 patch
coq.patch (text/plain), 333 bytes, created by
Matthieu Sozeau (RETIRED)
on 2003-10-16 04:27:01 UTC
(
hide
)
Description:
ocaml-3.07 patch
Filename:
MIME Type:
Creator:
Matthieu Sozeau (RETIRED)
Created:
2003-10-16 04:27:01 UTC
Size:
333 bytes
patch
obsolete
>--- /root/tmp/coq-7.4/parsing/pcoq.ml4 2002-12-15 13:10:18.000000000 +0100 >+++ parsing/pcoq.ml4 2003-10-16 13:00:15.000000000 +0200 >@@ -108,6 +108,7 @@ > type parsable = G.parsable > let parsable = G.parsable > let tokens = G.tokens >+ let glexer = G.glexer > module Entry = G.Entry > module Unsafe = G.Unsafe >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 30388
:
18781
| 19307 |
19647