Edit

IABSD.fr/ports/math/coq/pkg/PFRAG.native

Branch :

  • Show log

    Commit

  • Author : chrisz
    Date : 2013-01-04 11:07:28
    Hash : cc072d54
    Message : update to version 8.4 OK jasper@, sthen@, Yozo Toda (maintainer)

  • math/coq/pkg/PFRAG.native 
  • @comment $OpenBSD: PFRAG.native,v 1.2 2013/01/04 11:07:29 chrisz Exp $
%%dynlink%%