← Back to branch summary

~jgross-h/coq/v8.5-packaging

Changes
Files

~jgross-h/coq/v8.5-packaging : /debian/coq.links.in (revision 290)

browse files
view with revision information
view revision
view changes to this file
download file

1	OPT: /usr/share/man/man1/coqchk.1 /usr/share/man/man1/coqchk.opt.1

Loggerhead is a web-based interface for Breezy
Version: 2.0.1