Parent Directory
| 
Revision Log
| Links to HEAD: | (view) (download) (annotate) |
| Sticky Revision: |
SILENT: cleanup
Add ide-server - fix file list
Fix manual location (SILENT)
fix file list (SILENT)
new 8.16.1
Rebuild against new ocaml
- Updates BRs - Update flags (SILENT) - Fix install
Fix license (SILENT)
Rebuild for new ocaml-lablgtk3
new 8.16.0
Rebuild for OCaml 4.14
Rebuild for ocaml 4.13.1
- new version 8.13.2 - drop ancient tutorial docs
Adjust filelist for 8.13.1 (SILENT)
Disable doc (broken)
Fix BR expansion (SILENT)
Fix BR expansion on BS w/o macros (SILENT)
Add BRs for doc (SILENT)
BR ocaml-zarith-devel SILENT
Drop merged patch (SILENT)
Rebuild against new ocaml stack
rebuild for ocaml-4.2-12
Exclude more private modules
Also exclude ocamlx requires when we exclude ocaml ones
Rebuild to generate ocamlx provides
remove one BR workaround which is now fixed
BR ocaml-cairo-devel (probably a missing dep of other BRs)
BR ocaml-lablgtk3-sourceview3
SILENT Fix file list
Update to 8.11.0
Rebuild for ocaml 4.10.0 final
Mageia 8 Mass Rebuild
bump rel (SILENT)
- filter out a bogus requires on private ocaml interface - consolidate exclude list
revert back to 8.9.1 & fix build
new release + rebuild for ocaml-4.10
new release + rebuild for ocaml-4.10
Rebuild for ocaml 4.07.1
new release
rebuild with ocaml-4.07.1
Mageia 7 Mass Rebuild
fix deps
- new release - add fixes from FC
rebuild for new ocaml
SILENT convert -devel buildrequires into pkgconfig
- New version 8.6 (requires new deps).
Rebuild for fix in ocaml
- new version: 8.5pl2 - update URL and Sources URL - exclude a private ocaml interface that we don't Provide, and a Provides that the automatic generator is failing to produce for ocaml-lablgtk - add RecTutorial.pdf as a doc file - update doc files and files list - remove trailing spaces (SILENT)
Update to 8.4pl6
Enable debug
SILENT: mark doc file
SILENT: fix doc file list
SILENT: Bump release
Fix build with new rpm ( empty debuginfo)
Second Mageia 5 Mass Rebuild
rebuild for bogus file deps
Rebuild to fix library dependencies
Mageia 5 Mass Rebuild
SILENT remove cleaning buildroot in install
update to 8.4pl4
Mageia 4 Mass Rebuild
fix check for make version
update to 8.4pl2 (patch from William Murphy)
oops
Drop
- new bugfix release 8.4pl1 - remove patch which was included upstream
Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
build requires ocaml-compiler-libs
- rebuild with new ocaml 4.00 - also include documentation
SILENT: fix erroneous file list
- missing buildrequires on camlp4-devel
- update to version 8.4 - add patch from Gentoo for compatibility with lablgtk 2.16 - add desktop file for the IDE
- new version 8.3pl4 - fix requires to ocaml-compiler
new version 8.3pl3
imported package coq
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.
| ViewVC Help | |
| Powered by ViewVC 1.1.30 |