summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/configure.patch.gz
blob: 85ecfda6dae166ef6bb80f561242684b473c3e67 (plain)
ofshex dumpascii
0000 1f 8b 08 08 30 9d b8 4a 02 03 63 6f 6e 66 69 67 75 72 65 2e 70 61 74 63 68 00 8d 94 cb 4e c3 30 ....0..J..configure.patch....N.0
0020 10 45 d7 f5 57 0c 88 5d 70 71 0a 14 5a 84 54 e8 0a 09 f8 07 d7 99 50 ab 89 1d 1c 17 d1 bf c7 09 .E..W..]pq..Z.T.......P.........
0040 29 0f 31 15 93 4d 94 7b e6 9e 48 b6 ec a5 af 6b ef a0 dd ae 0a 1b d0 44 1f 2c b6 73 30 fe 55 5e ).1..M.{..H....k.......D.,.s0.U^
0060 8f 27 4d 95 9f ad ac 03 ed 8a 1f 91 74 f6 bd 8b c5 f2 df b2 59 a3 d9 60 a0 04 03 e2 48 bc 2b ed .'M.........t.......Y..`....H.+.
0080 0b e9 e8 89 28 6c 59 82 dc fe ed 6c 03 d2 95 04 84 94 92 6c 8c 26 4a cd a4 ba 92 2a 87 3c 9f 5f ....(lY....l.......l.&J....*.<._
00a0 5e cf 95 1a ab fd 03 99 4a 5c 64 59 76 d0 3c 08 66 72 32 e9 04 17 d3 b9 ca ff 08 16 0b 90 e7 b3 ^.......J\dYv.<.fr2.............
00c0 e9 e9 15 64 dd 6b 0a 8b 85 80 11 78 a3 eb 6a a7 8d c1 77 34 b7 27 cb bb a7 c7 fb 87 e7 b3 af f8 ...d.k.....x..j...w4.'..........
00e0 6b a6 de 44 df 10 43 7d fe 63 aa b2 2b 72 2a e5 42 8e a0 fb 68 2e fc ef 91 21 14 80 ad 4e 7f 14 k..D..C}.c..+r*.B...h....!...N..
0100 60 4b 88 d8 46 38 02 59 c2 71 3f b7 3c 86 1b 88 6b 74 bc 0d 8c c1 ae 0e ec 60 87 18 92 02 df 28 `K..F8.Y.q?.<...kt.......`.....(
0120 41 8a 39 65 6f c8 b2 37 8c b2 2d 90 2a a7 98 53 76 11 43 43 f6 7b c2 50 a4 53 e2 b0 a2 14 9f 84 A.9eo..7..-.*..Sv.CC.{.P.S......
0140 a1 a8 e8 d5 af 58 2b 9f a6 82 0e bb 03 82 0e 31 24 b5 26 af 91 14 33 ca 8d 0e ad 75 e4 15 30 20 .....X+........1$.&...3....u..0.
0160 8e 24 60 dc 35 87 34 7b c8 12 79 5f b6 b4 a5 23 0c 45 6b 82 6d 22 e9 18 10 47 12 75 3a 95 a4 a3 .$`.5.4{..y_...#.Ek.m"...G.u:...
0180 27 0c 45 d4 26 5a 43 3a 06 c4 91 a4 ab 41 b6 5b 1b c9 63 f2 4d 39 aa 35 f6 21 29 1a 18 47 e3 7d '.E.&ZC:.....A.[..c.M9.5.!)..G.}
01a0 45 3b 3a c0 12 34 15 be d1 87 6e cf c4 07 fd d9 c9 ee 3c 07 00 00 E;:..4....n.......<...