blob: 0da340f3a2e743341bdae689ed6415d224c7a90e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# 5 "version.cppo"
Cape buffalos
# 10 "version.cppo"
onion rings
# 16 "version.cppo"
major:
# 16 "version.cppo"
123
# 17 "version.cppo"
minor:
# 17 "version.cppo"
05
# 18 "version.cppo"
patch:
# 18 "version.cppo"
2
# 21 "version.cppo"
prerelease:
# 21 "version.cppo"
alpha.1
# 27 "version.cppo"
build:
# 27 "version.cppo"
foo-2.1
# 32 "version.cppo"
Coq:
# 32 "version.cppo"
(8, 13, 0)
|
