Sign me up Login

Details about package coqword

Name: coqword
Uploader: Marcel Fourné <debian@marcelfourne.de> (Debian QA page)
Description: coqword - Coq Library for Machine Words

Package uploads

Upload #2

Information

Version: 0.0+git20210804.131bee8-2
Uploaded: 2021-08-31 15:05
Source package: coqword_0.0+git20210804.131bee8-2.dsc
Distribution: unstable
Section: math
Priority: optional
Homepage: https://github.com/jasmin-lang/coqword

Changelog

 coqword (0.0+git20210804.131bee8-2) unstable; urgency=medium
 .
   * Fix spelling in license
   * Fix description

QA information

Comments

No comments

Upload #1

Information

Version: 0.0+git20210804.131bee8-1
Uploaded: 2021-08-31 14:35
Source package: coqword_0.0+git20210804.131bee8-1.dsc
Distribution: unstable
Section: math
Priority: optional
Homepage: https://github.com/jasmin-lang/coqword
Closes bugs: #993313

Changelog

 coqword (0.0+git20210804.131bee8-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #993313)

QA information

Comments

No comments