Edit

IABSD.fr/ports/math/coq

Branch :

  • Show log

    Commit

  • Author : daniel
    Date : 2015-06-19 21:25:32
    Hash : 1c147d96
    Message : Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@