jplesnik/generators-test

Project ID: 182797

Package: emacs-common-proofgeneral

General Information

Dist Git Repo:: jplesnik/generators-test/emacs-common-proofgeneral

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
9183717	4.5-10	a month ago	a minute	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/jplesnik/generators-test/package/emacs-common-proofgeneral/"><img src="https://copr.fedorainfracloud.org/coprs/jplesnik/generators-test/package/emacs-common-proofgeneral/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/jplesnik/generators-test/package/emacs-common-proofgeneral/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/jplesnik/generators-test/package/emacs-common-proofgeneral/)