[packages/st] Created branch master

witekfl witekfl at pld-linux.org
Sun Mar 28 20:39:19 CEST 2021

Previous message (by thread): DISTFILES: coq: coq-8.13.1.tar.gz
Next message (by thread): [packages/st] - new
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The branch 'master' was created.

Summary of new commits:

  6a76f65... - new

Previous message (by thread): DISTFILES: coq: coq-8.13.1.tar.gz
Next message (by thread): [packages/st] - new
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list