Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mandriva > 2009.0 > x86_64 > media > contrib-release > by-pkgid > 745c8902774d374c3cfc783cb3a9b333 > changelog

coq-8.1pl3-1mdv2009.0.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Sun Aug 17 2008 Guillaume Rousse <guillomovitch@mandriva.org> 8.1pl3-1mdv2009.0

  + Revision: 272986
  - new version
  
  + Thierry Vignaud
  - rebuild
  - kill re-definition of %buildroot on Pixel's request
  
  + Olivier Blin
  - restore BuildRoot

• Fri Sep 28 2007 Guillaume Rousse <guillomovitch@mandriva.org> 8.1pl1-1mdv2008.0

  + Revision: 93431
  - new version
  
  + Pascal Terjan
  - Rebuild to sync with x86_64
  - Import coq

• Tue Aug 29 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-5mdv2007.0

  - Rebuild

• Mon Mar 27 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-4mdk

  - buildrequires

• Fri Mar 17 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-3mdk

  - disable stripping, as it breaks binaries

• Wed Mar 15 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-2mdk

  - add patch for ocaml 3.0.9
  - buildrequires

• Thu Mar 2 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-1mdk

  - first mdk release