Changes between Initial Version and Version 2 of Ticket #2033
- Timestamp:
- Mar 24, 2016, 2:36:18 PM (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #2033
-
Property
Status
changed from
new
toclosed
-
Property
Type
changed from
defect
toupdate
-
Property
Resolution
changed from
to
fixed
- Property Port coq added
-
Property
Status
changed from
-
Ticket #2033 – Description
initial v2 3 3 Here the update from 8.0beta to 8.0 : 4 4 5 {{{ 5 6 diff -u -r1.1 Portfile 6 7 --- Portfile 25 Feb 2004 16:44:42 -0000 1.1 … … 26 27 configure.args -emacslib ${prefix}/share/emacs/site-lisp/ 27 28 depends_build bin:ocamlc:ocaml 29 }}}