distrib/MacOS-X/coq.info.template


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Title Coq
Version VERSION
Description The Coq proof assistant
DefaultLocation /
DeleteWarning 

### Package Flags

NeedsAuthorization YES
Required NO
Relocatable NO
RequiresReboot NO
UseUserMask NO
OverwritePermissions NO
InstallFat NO