SsreflectInstallBattle
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
¥
%
123
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAAAB
1
2
お名前hardwareOS(VMの場合はホストOSも)OCamlのversioncamlp5CoqのversionCoqの入れ方
Ssreflect version
Ssreflectの入れ方
3
@yoshihiro503Let's Note CF-SX2Ubuntu 12.04 Linux4.00.1 (opam)6.11 (ソース)8.4pl2ソースからmake install1.4ソースからmake install
4
@yoshihiro503自作Ubuntu 12.04 Linux4.00.1 (ソースから)6.09 (ソース)8.4plソースからmake install1.5ソースからmake install
5
@yoshihiro503Let's Note CF-SX2Ubuntu 12.04 Linux4.00.1 (opam)6.11 (ソース)8.4pl3
ソースから(./configure --prefix /usr/local/coq-8.4pl3_ssr-1.5; make world; sudo make install)
1.5
ソースから(export COQBIN=/usr/local/coq-8.4pl3_ssr1.5/bin; export PATH=$COQBIN:$PATH; make; sudo make install COQLIB=/usr/local/coq-8.4pl3_ssr1.5/lib/coq/)
6
@yoshihiro503RaspberryPIRasbian
4.00.1 (ソース+パッチ) http://qiita.com/yoshihiro503/items/75569bfd642317b5a732
didnt care8.4pl2opam install coq1.4ソースからmake install
7
@maeda_MacBookAir
Ubuntu 14.04 Linux (VMWare)
4.01.0 (apt-get)
6.11 (ソース strict-mode)
8.4pl3ソースからmake install1.5ソースからmake install
8
@crossquareMacBookAirMac OS X
4.01.0 (macports)
6.11 (macports?)
8.4pl3ソースからmake install1.4ソースからmake install
9
@t_uchidaDebian Jessie
4.01.0 (apt-get)
6.11 (apt-get)8.4pl3apt-get install ssreflect1.5apt-get install ssreflect
10
@mzp
MacBookAir 11-inch, Mid 2013
Debian Jessie(LXC) on Debian Jessie(VirtualBox) on Mac OS X 10.9.2
4.01.0 (ocamlbrew)
6.11 (opam)8.4pl2opam install coq1.4ソースからmake install
11
@morita_hmUbuntu 14.04 Linux4.01.0 (ソース)6.11(ソース)8.4pl3ソースから make install1.4ソースからmake install
12
@c0hamaVaio Pro 11Arch Linux4.01.0 (opam)6.11 (opam)8.4pl2opam install coq1.4ソースからmake install
13
@dico_lequeMac OS X4.01.0 (opam)6.11 (opam)8.4pl3 + 自前 extraction 改造make install1.5make install
14
@notogawaMacBookAirGentoo Linux (VirtualBox)
4.01.0 (portage)
6.11 (portage)8.4pl3emerge1.4proof overley から emerge
15
@keita44_f4ThinkPad
Windwos7-VMware6.01-Xubuntu12.04LTS
3.12.1(apt-get)6.02.3(apt-get)8.3pl4(apt-get)apt-get install1.4dpkg --forece --install libssreflect-coq.deb
16
@keita44_f4ThinkPad
Windwos7-VMware6.01-Xubuntu12.04LTS
4.01.0(opam)6.11(opam)8.4pl2(opam)opam install coq1.5ソースからmake install
17
@momocusideapadWindows8.1No installNo install8.4pl3coq-installer-8.4pl3.exe1.5\coq\lib に置いただけ
18
@nabe256ThinkPadDebian Wheezy3.12.1(apt-get)6.06(apt-get)8.4pl3ソースから make install1.5ソースからmake install
19
@sunotoraWindows8.1No installNo install8.4pl3coq-installer-8.4pl3.exe1.5\coq\lib に置いただけ
20
@tmiya_MBAMacOSX 10.7.54.01.0by mac ports8.4pl3port install coq1.4make clean; make; sudo make install
21
@suharahiromichiDell Note PC
FreeBSD/i386 (32bit) 9.1R
on VMware Player 6
on Windows 7
3.12.1 (ports)6.02.3 (ports)8.4pl2ソースからmake install1.4ソースからmake install
22
@kaizen_nagoyaMac OSX 10.9.24.00.1(brew)6.11(brew)8.4pl3brew install ssreflect1.4brew install ssreflect
23
@shimomura1004MBA
Ubuntu 14.04 LTS (Virtualbox)
4.01.0 (apt-get)
6.11(opam)8.4pl2opam install coq1.4ソースからmake install
24
@suharahiromichiHP Desktop PCUbuntu (32bit) 12.04 LTS
3.12.1 (atp-get)
6.02.3 (atp-get)
8.4pl2ソースからmake install1.4ソースからmake install
25
@adacolaSurfacePro2Windows8.1No installNo install8.4pl3coq-installer-8.4pl3.exe1.5https://twitter.com/qnighy/status/454981287145512960
26
@above_water234MBPDebian / Mac OS X4.01.06.06(apt-get)8.3pl4apt-get install ssreflect1.3pl4apt-get install ssreflect
27
@cho_tekitoulenovoUbuntu3.12.16.0.98.3pl4ソースからmake install1.5ソースから
28
@Dominion525OSX Merverics4.01.0 ( brew )brew install ssreflect
29
@koropicotAcer Aspire S7Windows8.1No installNo install8.4pl3coq-installer-8.4pl3.exe1.5\coq\lib に置いただけ
30
@khibinoLet's noteDebian Sid4.01.06.118.4pl3apt-get install coq1.5apt-get install ssreflect
31
nishikiThinkPadArch Linux4.01.0(opam)6.11(opam)8.4pl2opam install coq1.5ソースからmake install
32
@terurouVirtualBoxUbuntu 14.04
4.0.1.0(apt-get)
6.11 (apt-get)8.4pl3 (apt-get)apt-get install ssreflect
33
@ganmacsMBAOSX Merverics4.01.0(brew)6.0.98.4pl3brew install ssreflect1.4brew install ssreflect
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...
Main menu