Fedora Packages

coq-menhirlib-20201216-1.fc34 in Fedora 34

↵ Return to the main page of coq-menhirlib
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2021-02-24 Jerry James <loganjerry at gmail dot com> - 20201216-1 - Version 20201216 - Some applications of menhir require menhirLib.ml, so install it
2021-01-26 Fedora Release Engineering <releng at fedoraproject dot org> - 20201201-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-23 Jerry James <loganjerry at gmail dot com> - 20201201-2 - Rebuild for coq 8.12.2
2020-12-02 Jerry James <loganjerry at gmail dot com> - 20201201-1 - Version 20201201
2020-09-01 Richard W.M. Jones <rjones at redhat dot com> - 20200624-3 - OCaml 4.11.1 rebuild
2020-08-21 Richard W.M. Jones <rjones at redhat dot com> - 20200624-2 - OCaml 4.11.0 rebuild
2020-08-06 Jerry James <loganjerry at gmail dot com> - 20200624-1 - Version 20200624
2020-08-01 Fedora Release Engineering <releng at fedoraproject dot org> - 20200612-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-28 Fedora Release Engineering <releng at fedoraproject dot org> - 20200612-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-15 Jerry James <loganjerry at gmail dot com> - 20200612-1 - Version 20200612

Dependencies

Provides

  • coq-menhirlib
  • coq-menhirlib(x86-64)

Files


Sources on Pagure