Packaging issues with files section for my future coq package

Show replies by date

5797
days inactive
5798
days old

devel@lists.fedoraproject.org

Manage subscription

5 comments
4 participants

Add to favorites Remove from favorites

tags (0)
participants (4)
  • Alan Dunn
  • Martin Sourada
  • Michael Schwendt
  • Toshio Kuratomi