Sophie

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

distrib > Mageia > 8 > x86_64 > by-pkgid > 2ba6683e8420fa26e6d9d0f09d5b4d9f > changelog

coq-flocq-3.2.0-1.mga8.src.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