kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
rillig 8c6aee8563 lang: align variable assignments 
pkglint -Wall -F --only aligned --only indent -r

No manual corrections.
2019-11-03 19:03:56 +00:00
..
patches coq: patch to build with ocaml 4.08 2019-09-01 00:51:46 +00:00
DESCR
distinfo coq: patch to build with ocaml 4.08 2019-09-01 00:51:46 +00:00
Makefile lang: align variable assignments 2019-11-03 19:03:56 +00:00
MESSAGE
options.mk lang: align variable assignments 2019-11-03 19:03:56 +00:00
PLIST Updated lang/coq to version 8.9.0. 2019-03-06 09:28:23 +00:00