Sophie

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

distrib > Mageia > 8 > armv7hl > by-pkgid > 36da7ba6efbe70a62db3de3a38cd3639 > changelog

coq-flocq-3.2.0-1.mga8.armv7hl.rpm

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

• Mon Mar 2 2020 daviddavid <daviddavid> 3.2.0-1.mga8

  + Revision: 1552907
  - new version: 3.2.0
  + umeabot
  - Mageia 8 Mass Rebuild

• Sun Sep 30 2018 daviddavid <daviddavid> 2.6.0-3.mga7

  + Revision: 1312635
  - rebuild against coq

• Sun Sep 23 2018 umeabot <umeabot> 2.6.0-2.mga7

  + Revision: 1296799
  - Mageia 7 Mass Rebuild