Sophie

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

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 1e7b7db230712603dab5eeb5aa191804 > changelog

coq-ide-8.2-2mdv2010.0.i586.rpm

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

• Mon Jun 29 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-2mdv2010.0

  + Revision: 390561
  - rebuild for latest ocaml

• Wed Feb 18 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-1mdv2009.1

  + Revision: 342724
  - final 8.2 version

• Sun Feb 15 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-0.rc2.1mdv2009.1

  + Revision: 340578
  - new release

• 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