| ofs | hex dump | ascii |
|---|---|---|
| 0000 | 00 00 01 00 02 00 20 20 10 00 01 00 04 00 e8 02 00 00 26 00 00 00 20 20 10 00 01 00 04 00 e8 02 | ..................&............. |
| 0020 | 00 00 0e 03 00 00 28 00 00 00 20 00 00 00 40 00 00 00 01 00 04 00 00 00 00 00 00 00 00 00 00 00 | ......(.......@................. |
| 0040 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 80 00 00 00 ff 00 00 80 80 00 80 80 | ................................ |
| 0060 | 80 00 c0 c0 c0 00 00 ff ff 00 ff ff ff 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0080 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 00a0 | 00 00 02 10 00 70 00 00 00 00 05 00 00 00 00 00 00 00 22 21 00 77 77 70 00 00 55 00 00 00 00 00 | .....p............"!.wwp..U..... |
| 00c0 | 00 00 22 22 10 77 77 77 75 55 55 00 55 40 00 00 00 00 02 22 10 07 77 77 77 55 55 55 44 40 00 00 | .."".wwwuUU.U@....."..wwwUUUD@.. |
| 00e0 | 00 00 02 22 10 70 07 77 77 55 55 55 40 00 00 00 00 00 02 22 10 77 07 77 77 55 75 55 40 00 00 00 | ...".p.wwUUU@......".w.wwUuU@... |
| 0100 | 00 00 02 22 10 77 07 77 77 55 75 54 05 00 00 00 00 00 00 00 10 00 77 77 77 57 75 54 00 00 00 00 | ...".w.wwUuT..........wwwWuT.... |
| 0120 | 66 66 22 22 00 77 77 77 77 77 75 54 00 00 06 20 66 66 66 62 20 77 77 77 77 77 75 54 00 00 06 62 | ff"".wwwwwuT....fffb.wwwwwuT...b |
| 0140 | 00 00 00 66 20 77 77 77 77 77 75 54 00 00 06 62 22 22 22 06 60 77 77 77 77 77 75 44 00 00 06 66 | ...f.wwwwwuT...b""".`wwwwwuD...f |
| 0160 | 62 22 22 20 60 77 77 77 77 77 75 40 00 00 50 66 66 62 22 26 60 77 77 77 77 77 75 40 00 00 00 66 | b"".`wwwwwu@..Pffb"&`wwwwwu@...f |
| 0180 | 66 66 66 66 07 77 77 77 77 77 75 40 00 00 05 00 06 66 66 60 70 00 00 00 00 00 74 40 50 00 00 00 | ffff.wwwwwu@.....ff`p.....t@P... |
| 01a0 | 50 00 00 07 70 77 07 03 77 07 44 00 05 00 00 00 00 00 00 77 70 77 70 37 77 07 40 11 00 05 00 00 | P...pw..w.D........wpwp7w.@..... |
| 01c0 | 00 00 05 07 77 07 77 77 70 75 02 22 11 00 00 00 00 00 00 07 77 70 00 00 07 50 22 22 21 10 00 00 | ....w.wwpu."........wp...P""!... |
| 01e0 | 00 00 00 50 77 77 77 77 75 02 22 22 22 10 00 00 00 00 00 05 00 00 00 00 00 22 22 22 22 10 00 00 | ...Pwwwwu."""............""""... |
| 0200 | 00 00 00 00 22 22 22 22 22 20 22 22 22 10 00 00 00 00 00 22 22 22 10 22 22 10 02 22 22 10 00 00 | ...."""""."""......""".""..""... |
| 0220 | 00 00 02 22 22 21 10 22 22 10 00 22 22 05 00 00 00 00 22 22 22 21 00 22 22 10 05 00 00 50 00 00 | ...""!.""..""....."""!.""....P.. |
| 0240 | 00 00 22 22 22 10 00 22 22 10 00 00 00 00 00 00 00 00 22 22 21 10 00 02 22 10 00 00 00 00 00 00 | ..""".."".........""!..."....... |
| 0260 | 00 00 22 22 11 05 05 00 00 05 00 00 00 00 00 00 00 00 22 22 10 50 00 00 00 00 00 00 00 00 00 00 | .."".............."".P.......... |
| 0280 | 00 00 00 00 05 00 00 00 00 00 00 00 00 00 ff 05 ff 8f fe 00 1f 1f fe 00 00 10 fe 00 00 00 fe 00 | ................................ |
| 02a0 | 00 00 ff 00 00 01 ff 00 00 03 ff 00 00 03 70 00 00 07 00 00 00 07 00 00 00 07 00 00 00 07 00 00 | ..............p................. |
| 02c0 | 00 07 00 00 00 0f 00 00 00 0f 80 00 00 0f 80 00 00 07 f0 00 00 03 ff 80 00 00 ff 80 00 00 ff c0 | ................................ |
| 02e0 | 00 00 ff c0 00 00 ff e0 00 00 ff c0 00 00 ff 80 00 00 ff 00 00 80 fe 00 00 81 fe 00 80 ff fe 00 | ................................ |
| 0300 | 80 ff fe 00 80 ff fe 01 ff ff ff 03 ff ff 28 00 00 00 20 00 00 00 40 00 00 00 01 00 04 00 00 00 | ..............(.......@......... |
| 0320 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 33 00 00 00 | ............................3... |
| 0340 | 66 00 00 00 80 00 00 00 99 00 00 00 cc 00 00 00 ff 00 00 66 99 00 86 86 86 00 00 99 ff 00 cc cc | f..................f............ |
| 0360 | cc 00 00 ff ff 00 ff ff ff 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0380 | 00 00 00 00 00 00 00 00 00 00 04 31 00 c0 00 00 00 00 0a 00 00 00 00 00 00 00 55 43 10 cc cc c0 | ...........1..............UC.... |
| 03a0 | 00 00 aa 00 00 00 00 00 00 00 66 54 30 cc cc cc ca aa aa 00 aa 80 00 00 00 00 06 54 30 0c cc cc | ..........fT0..............T0... |
| 03c0 | cc aa aa aa 88 80 00 00 00 00 06 54 30 c0 0c cc cc aa aa aa 80 00 00 00 00 00 06 54 30 cc 0c cc | ...........T0..............T0... |
| 03e0 | cc aa ca aa 80 00 00 00 00 00 06 54 30 cc 0c cc cc aa ca a8 0a 00 00 00 00 00 00 00 30 00 cc cc | ...........T0...............0... |
| 0400 | cc ac ca a8 00 00 00 00 bb bb 99 99 00 cc cc cc cc cc ca a8 00 00 0b 90 bb bb bb b9 90 cc cc cc | ................................ |
| 0420 | cc cc ca a8 00 00 0b b9 00 00 00 bb 90 cc cc cc cc cc ca a8 00 00 0b b9 99 99 99 0b b0 cc cc cc | ................................ |
| 0440 | cc cc ca 88 00 00 0b bb b9 99 99 90 b0 cc cc cc cc cc ca 80 00 00 a0 bb bb b9 99 9b b0 cc cc cc | ................................ |
| 0460 | cc cc ca 80 00 00 00 bb bb bb bb bb 0c cc cc cc cc cc ca 80 00 00 0a 00 0b bb bb b0 c0 00 00 00 | ................................ |
| 0480 | 00 00 c8 80 a0 00 00 00 a0 00 00 0c c0 cc 0c 07 cc 0c 88 00 0a 00 00 00 00 00 00 cc c0 cc c0 7c | ...............................| |
| 04a0 | cc 0c 80 22 10 0a 00 00 00 00 0a 0c cc 0c cc cc c0 ca 05 44 22 10 00 00 00 00 00 0c cc c0 00 00 | ..."...............D"........... |
| 04c0 | 0c a0 55 55 42 20 00 00 00 00 00 a0 cc cc cc cc ca 05 55 55 54 20 00 00 00 00 00 0a 00 00 00 00 | ..UUB.............UUT........... |
| 04e0 | 00 55 55 55 54 20 00 00 00 00 00 00 65 55 55 55 55 50 65 55 55 20 00 00 00 00 00 66 65 54 20 65 | .UUUT.......eUUUUPeUU......feT.e |
| 0500 | 54 20 06 55 55 20 00 00 00 00 06 65 55 52 20 65 54 20 00 66 44 0a 00 00 00 00 66 55 55 42 00 65 | T..UU......eUR.eT..fD.....fUUB.e |
| 0520 | 54 20 0a 00 00 a0 00 00 00 00 65 55 54 20 00 65 54 20 00 00 00 00 00 00 00 00 65 55 42 20 00 06 | T.........eUT..eT.........eUB... |
| 0540 | 54 20 00 00 00 00 00 00 00 00 65 55 22 0a 0a 00 00 0a 00 00 00 00 00 00 00 00 66 54 20 a0 00 00 | T.........eU".............fT.... |
| 0560 | 00 00 00 00 00 00 00 00 00 00 00 00 0a 00 00 00 00 00 00 00 00 00 ff 05 ff 8f fe 00 1f 1f fe 00 | ................................ |
| 0580 | 00 10 fe 00 00 00 fe 00 00 00 ff 00 00 01 ff 00 00 03 ff 00 00 03 70 00 00 07 00 00 00 07 00 00 | ......................p......... |
| 05a0 | 00 07 00 00 00 07 00 00 00 07 00 00 00 0f 00 00 00 0f 80 00 00 0f 80 00 00 07 f0 00 00 03 ff 80 | ................................ |
| 05c0 | 00 00 ff 80 00 00 ff c0 00 00 ff c0 00 00 ff e0 00 00 ff c0 00 00 ff 80 00 00 ff 00 00 80 fe 00 | ................................ |
| 05e0 | 00 81 fe 00 80 ff fe 00 80 ff fe 00 80 ff fe 01 ff ff ff 03 ff ff | ...................... |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |
blob: 36964902db141afa4114c38c0a10ae9b5f35b09b (plain)