Index of /logic-classes/_darcs/inventories
Name
Last modified
Size
Description
Parent Directory
-
0000089657-955eef0c0b9cd6630950caec8183b840032ec56d0bc57ea96c285d25f9c8a1b0
2014-03-29 14:59
36K
0000089117-77589f96be7be7674c700a78bf7f5bb03920c057dbc1a95704ce111e68f418d4
2014-03-26 18:41
36K
0000088904-17378a0c86ad541a76c383a3545368f36e47d30518217052977b15cddd87ccad
2013-10-15 14:37
35K
0000088675-6a3719be6dec1ca6663f1128afd63ad9992f2f4cc55fc9751189b800be3091c0
2013-07-24 19:40
35K
0000088464-323ff58635ace8fd6c2c61e9e0051e75b664caf01acaa6bc144d5dec6c221eb9
2013-06-20 18:19
35K
0000088235-34364b0450fbf7e2511913866697c174bf2976d243726aded98b1aa854196e9d
2013-06-17 00:04
35K
0000087995-bbc9b9acc035296199c9314527b7f02d374689eaf82354a6df05d3650a70a6c6
2013-01-07 01:46
35K
0000087736-d27a228a2e8837fce2a2f626cfca294a9e290686d3afb8276fd282baf8c3ff93
2012-12-18 17:56
35K
0000087520-c1642c1c883962a9956d1faf022bbd3abde6e83f6419a2541cb92f14f1f66935
2012-12-18 17:49
35K
0000087282-72c882841c4a05b51ac21071500676ebc80cf9422eb7cea758156e7e0005ea2a
2012-12-18 17:06
35K
0000087052-510ec66ea769ed8e71fb0388c8b20a0cd8e58a433c5a07edc9203beb1f34032b
2012-06-20 17:45
35K
0000086364-65e13158089b7e936316c090e93147ecbfbdceddf7504e02a2e33f5ab74a28d5
2012-04-20 02:04
34K
0000086121-8cd1f55d3fbcbcfb19c0ef8de3c8addb366f597035a1a540d1a4b4891734a689
2012-04-18 14:41
34K
0000085907-3b58cff62ceaa48a19f9130d5ea2e422536c07d0e0e992f94cd6798aa74f07bb
2012-04-18 14:18
34K
0000085676-da99508523762667b7be4f9800bdcb6b517fb2fb7feb154de5d9463e4546e9ea
2012-04-18 13:40
34K
0000085422-b9ef3d5da341d27d2be9be7f6bcb138ec80fb113d1925ef957bd1f5b75134df9
2012-04-17 02:32
34K
0000085175-180536542784289a4eb0768654dfe91cd483ca089559c6db94519652eb636efc
2012-04-16 15:43
34K
0000084933-b524ebb5a70a3e8f6b9553c94e63294523de2d7d99fcb17541cbb62e8f8f9fd1
2012-04-16 03:24
34K
0000084700-cad14d9106827bdf4eab641bccb418c8d435996a5abc769345becb4213a55309
2012-04-15 21:30
34K
0000084439-5e3c1a5f2560c540b2ff6046dd22914e74d61eba9eb52d26589e73a41a4c9df1
2012-01-23 16:41
34K
0000084190-adcda452b70f44e5463e4d130d911a919829f81ee24bcb3b78ebc6fc17cf5576
2012-01-22 19:13
34K
0000083926-7276db4d67bfb88282f2b2062725f2ba61564a93ed8f7f06154dad5b0a861053
2012-01-22 19:06
34K
0000083721-b01807754812f2ea0941e5018b71bd7956bdef2b34b00049fd5e1e1a8af8b60d
2012-01-22 18:59
33K
0000083471-ff99c36b14cce3e23dfc3ba75bf329225e4db9aa8a396576164b513afa304268
2012-01-22 18:49
33K
0000083265-d25ff350d4bdca2a8e0583d031c8306bec7fb871a528cd74b735d7fb6796f65e
2012-01-22 18:44
33K
0000083050-36d3f80e9d895f62e249a78bb47d8f0e27cce1245371037f48c54530d39faa01
2012-01-22 18:10
33K
0000082790-e57ea19e4c3a605b126d648d75418a73baa4eac3a7cdf0b2a268020eed52aee2
2012-01-22 18:00
33K
0000082564-a5f340ca53c6bb99b5742ba24bd59f12bd3ded70ca14128fc293c6267b108230
2012-01-22 17:30
33K
0000081516-811509766b4ea19f149b239a935e520269a4ceef2418b1766120be3ae5431919
2012-01-21 13:44
33K
0000081317-f38afba73816b17faaad60f707a7bf95f3101eb126a9cb945a554c35732a07d7
2012-01-21 13:27
33K
0000077187-d69154e74ef70e508b12d35d6e681b22d751d41fa366a6fe9468133dbed2a197
2012-01-18 05:30
31K
0000076941-337f4bf1d8d708a4f628efee542cd17f6eb81f38be4a07f1af2865bb5ece29d6
2012-01-18 05:19
31K
0000076705-72ab3491891db5bb3126233f6d7e8e10f6b23eaf8ea9cccd78bc8f96f29a1822
2012-01-18 05:00
31K
0000076497-6aabfc38fbb898446a63639c75306b9615b43a1d8d66cae19eec2d7b734f15fa
2012-01-14 15:45
31K
0000076275-6f91fdcfb6b53f55cc08803051edce7fa5b1af226855019dfe7188677edd5efb
2012-01-14 15:33
31K
0000076026-94355a12217c9ff7e7da068204ebb585ae25e1061457a0bceae19d5f87775a45
2012-01-13 21:36
30K
0000074243-ff7dec500149f1bea07545dca4bfb8d348a1c1e94b460f557d0306b7f93e2ccd
2012-01-10 18:57
30K
0000074019-ea5e8d7d677b197a670b4e74fa7a0b14749436f138ef8f461a72bdcd0afa8010
2012-01-09 20:31
30K
0000073806-9d05cdca11e8ae919d72623f0085ac0c640a125249253ab709c03b28773a39fe
2012-01-09 19:54
30K
0000073615-58a50295de9babe960d73d686d5f560b29b5daf26926bb5e3a63a7859a929825
2012-01-09 18:50
30K
0000070030-f19ff8f0cc57efce71c445e024eeb8d904a3ee5eb670948d434e307e121207b9
2012-01-04 04:01
28K
0000069576-4cfc7346cd16945fd0e3c9b7e2e5677b1e7af857b861278353b573290c5e50c7
2012-01-03 20:36
28K
0000069383-e81baafee1c05d63c84cd9d0afd964877701a2ab07e504c14e0450ead6c296c3
2012-01-03 20:36
28K
0000069184-1a907a9de7b81a8741fad670ab8716119c9b518d72d64d25086a57877df284a9
2012-01-03 02:57
28K
0000068952-369e4334a06f42c7faa7a7cb7b9b7a62a80add0ebb7b99fe782382813d88210c
2012-01-03 02:53
28K
0000068747-714c534da49b59d5cb668dddb61d4bf3068c92c0eb2b1b878cef237ee25da038
2012-01-03 02:41
28K
0000068523-d4d2312412ea4e76aebd50a3fe1a9c83f2fc9b210e2595a892e049606f002a11
2012-01-03 01:48
28K
0000068294-ad0bf052a2c6a53a2aa571cf1f18798bacf81d37e3c885fd5e3a3a345bc82d80
2011-12-30 04:10
27K
0000068045-666e5f6d82544e5caccb5fc34dbe6eb55d4f598e18c0a99876ea21b198bc565a
2011-12-29 23:42
27K
0000066740-a3a44ea383b2729f0019e9580a44d953c9f831f37940b47300d7af5ef51bb0e6
2011-12-28 06:43
27K
0000066515-0afee71029252440da4df85994ca87d210580adcdecde63ec460a1a2bedbde54
2011-12-28 06:34
27K
0000061989-df8c5075d3d21a0a658b3a5f7e6a9f3ff1d21e5003e74cf0274c96fa09a51e24
2011-12-06 01:01
25K
0000061772-086b8391b2346d0b69c585fc6d2b370a95bc4d19238dcfb862e0198d54e6ac17
2011-12-05 02:30
25K
0000061568-c0089c7f6e6f7c416a925cff68ab64d8d528bbfed6a4a1ec92c94ebbc0233535
2011-12-02 19:47
25K
0000061334-97d504607109ef52ac020e1a391fc10c0087a4e6f81efea184aab42c24922922
2011-12-02 19:46
25K
0000061122-ce3c78047a071e76cf6a9918d5374506e3b1ba385d66c4a1e6efc87fea4d0014
2011-12-02 19:44
25K
0000060906-8c4271ff88a2ce8bfa42b624a72e6a39327034eb58f4df15c3a0a1ed410661b5
2011-12-02 19:43
25K
0000060700-b518d1e5d5388e579c0104fab3567bb37e4d0974752a044b32b52e1b2dfb4411
2011-12-02 19:40
24K
0000060456-7dd43e7fd9696665354ff51ac8285bdce7263f113025c08c85bb93e6eb4350ab
2011-11-30 19:28
24K
0000060253-aaf8ed01bd872a5e938ac5cd7588c18458d1591e393bccdbffe1a294327dd89e
2011-11-30 00:52
24K
0000059234-c9b7ad76bdc856846a5ded02837c0898af1c6b291888606be453ab2e6f10f919
2011-11-29 23:10
24K
0000059032-e92b92826bce9aaf56b8f65fb4a8202bc95c1fbda00bbb0c5072e48c9ad88d14
2011-11-29 23:02
24K
0000058754-d9fa77c5ef6d8f076d684585a33b6f3cf79ba0ea157285a92d205aecc606fcd4
2011-10-14 17:44
24K
0000058525-c5ef2f446255ee7bd8fb4977e739278790d13825ab6c37d249857c0faa9aa2a8
2011-10-11 20:44
24K
0000058330-1ecbfb6e4b05a98971730262ff443892879c017b3947a08783bad1e0a46a757a
2011-09-30 04:27
24K
0000057852-d5068e439f56d5dcdb0d1a8b957cce6715ab05f45432e0e1b012301e66d6f005
2011-09-29 20:23
23K
0000056831-e92af6edf2ca2524f765fde5cabe5ae5cedff951eb57abe5f1464e60ff23355b
2011-09-24 22:38
23K
0000056622-68e3c024fd04e616c2c5ac7e5412d82c2566f07bef294079bb3c159c0f2bc6fd
2011-09-23 23:57
23K
0000056374-11d15e0f6debe58d6e8184bd1f4613832bb9ad09e6d9175521bd858cee26fbc9
2011-09-05 03:33
23K
0000056149-bb82e2f15875dcb42249e5fdf5f7ac5a7dabc84a466054e90d8fb1e699511f9c
2011-09-05 03:24
23K
0000055934-8a0825c2c82887c4cdce5649cc16d8a53f85e8a7205c2fe8142dfcbe7b9455a3
2011-08-24 17:35
23K
0000055694-bf6581d55e80187a797b258f3a850414bb2b8ac92ad88d6ee6fcc62263ea64df
2011-08-08 22:55
22K
0000055466-71ec2503ea6cd8d00ca1e00b050c0a87ea368a661beba2a3cba1c583c0312bf7
2011-08-06 16:24
22K
0000055260-5166fbf014572e51c87a83bbc44d8912a77fa94b53bf93c1ab731a431116d227
2011-08-06 16:16
22K
0000054792-d29293cb0b69ca8645fb61db5ea624f5c9355d7cec6d13dcb693c5ba105919b9
2011-08-04 19:35
22K
0000054555-f40aab4a3d7e6c35c0d284fed7015e9d974287a4cb44d6177f725a80a63aa8d3
2011-08-04 17:57
22K
0000053676-0c66828bcf98eb4202c9f4b0d1b993b327dfe2a8a5f90c6b93dd780897214683
2011-08-02 14:37
22K
0000053400-1c0ecdf7e1ec10f90ac71182a454de879ae37b54d6b4b4f92b17ea0c570e4c0d
2011-08-01 16:51
22K
0000052960-fb3b7e03945b9d4069345ef670534de86383222792a7e172017dc44fb0d717b4
2011-07-27 05:34
21K
0000052739-b2571743d2d07eb95d9e2f6dec6709a8e470a02c0b3a02b64bcd9fbf516bdbd9
2011-07-22 17:07
21K
0000052474-f247bbf4c2685eb2f9b7c5e897686f87ff0f38713270195e73fec7a319507b9a
2011-07-22 05:30
21K
0000052282-21328b6669d464dacc68175b76d2efa7a8eb068d1651c7d70e252290ac845e97
2011-07-22 05:27
21K
0000052000-b6a40d8ef2c5da98b569ce7182fb6bf13ff92e07123581fc10d68f781a0c931b
2011-07-17 15:33
21K
0000051456-fa13e226c8cc1b0b7374b91139d6b0abf222e903b591a768322a39e1ea60f3b3
2011-07-06 20:32
21K
0000051232-5a78e27bb58c51a149673f9c886d3dacd20c9e9eae82d4f887d524c1a7464228
2011-07-06 19:47
21K
0000049641-1e969734f6f95e133dba0ed53c3c1923d54875e8b8fa9d45a077c37ddd5570b3
2011-07-05 20:36
20K
0000049320-d0adbc8a077c0afbc3919e41635ab7a2c6b9d2ce9af939cee6ded6193a9210f2
2011-07-05 19:00
20K
0000047257-8ad50306f1c6f61aacfad293afcc9f987fcb254e51a49ab260c386aff80c0a6c
2011-06-17 20:33
19K
0000047047-be8dd78b4b1d8ec9f684d08611ab33ed286748b9b41170d103230efc607c232d
2011-06-09 03:27
19K
0000046838-5d464785b64382dfc06925ee19e09b2deb2941cc4dbf38b497a71e49521e04a7
2011-05-03 15:56
19K
0000046563-1eab514aa89bbb7ba507ed8f07d3e29f9178ae7c7095ed9e3da0b3be37e1e8c9
2011-04-14 03:53
19K
0000046339-b23ae7b8a9a6e18a19230e3873a38d68450050d7ca924dfb41b746c72abc031c
2011-04-04 13:29
19K
0000046126-4b5360f80ff2ed9d6a6a495bf9a2800976a99800e618d640499959a308a268dd
2011-03-04 14:07
19K
0000045890-a694c2fde27fa3883fdea661a106b47b15f7cfa695ee7e23015f3f964ffc0157
2010-12-17 05:28
19K
0000045677-cb160daa0e19374bb0671d947306363664e5b357247ce3ca20a7f27dc67b6004
2010-11-17 20:01
18K
0000045471-7aacca2431bffe813943a685050198dffae47dd7213d525d8e817bb2c324f247
2010-11-16 21:34
18K
0000045232-efe725bc82b960182550640b8ef9fedf38cedcd3c339336cef3309fdbe9004a8
2010-11-16 17:44
18K
0000044991-27c3176ce17fa2c54ab55800f83315309869eebf628061ac7600753d70e5727f
2010-11-02 19:54
18K
0000044772-f962bb2913f377ff4ad8d055f8d353356260de819c02bb4c8851c90efd4aa311
2010-10-30 17:36
18K
0000044550-79634f625fef89cc8699117d015b56ed79f0ef524377a1e23ec8be9bedc4f83b
2010-10-21 04:18
18K
0000044323-bad2a42759ba0bfa976f0bf2ed6aef571d4a79304d66f72021bf397f84ddb818
2010-10-06 19:44
18K
0000044092-c4c8f1190fafd2771daf649b2328f55f908020f46d108fc0265063ec66e655dd
2010-09-04 20:02
18K
0000042462-c1061557538e23c2bbabb3119715cb860ed219409fe71597ab930ef872d4a0b6
2010-08-30 23:07
17K
0000042256-7f200272d692f6c4a8e452706dfe97a629609193f36879e718234ccb5b88f4d8
2010-08-30 23:02
17K
0000041672-4e65050e1d4fcc0d41c3506e240c7ad297c7ffa71c8cefe89973b20b411930a0
2010-08-30 00:31
17K
0000041447-9df9ff14b6eca1db7368ea9f6db3a0b561915802b16aed3444903a839406577d
2010-08-29 23:15
17K
0000037909-cc76c6e2eae5d4302f0d55e368b7d369e1f4736a5d654c8893777c02adbb314c
2010-08-27 17:28
15K
0000037669-a5d909915b1c5a5ab638d1f3989cba3c4d9a6c48a3b6eefa5ded61b57eafbd5d
2010-08-25 19:17
15K
0000036856-dbd83fbfcc1dbcd48295400c174d263a4bade8ab87c4438ea0f513f35ebf8d76
2010-08-22 19:15
15K
0000036612-25ec1bbcaacd3b7a08019065590b31a1f2f0b201cb4a5f8773d7fe039ad4041e
2010-08-22 14:56
15K
0000035887-8cd9518a621c4aa7064a44750678e0b8d5de764d22715e65a0097c229f2000ee
2010-08-21 21:12
15K
0000035677-532286dd242f5e9e4efbf47b7bb1f01a7f6e5c4b1dff0a6da24ccf19ee95568f
2010-08-21 17:35
15K
0000032154-05de4f4fc5bf7747cb2ecabe61bb4b8ceba022b38cd96b4baca9f928545d7b59
2010-08-17 21:58
13K
0000031961-bd908678512c55cb20a630fb3492e58df9fd8ec77040b159aac9a72f13e3b03e
2010-08-17 21:28
13K
0000019684-f7506ad29f9fbf6ea35cbe1fcba0354c4f6d91702dec930fd973e8f4c34c5ffd
2010-07-28 16:50
8.1K
0000019431-68622932ab1865864deb54a525d9ab4ada39de837ae1896262212db6746e577a
2010-07-26 15:43
8.0K
0000016164-da215430b0980ff9c641c97231806d8460ac8516a4770a09a71efdb251bacd3c
2010-07-13 16:58
6.8K
0000014098-6cfc630e4542f1aa75e53e2e9ca4b41b213122d41a7479efd4da5dbbe4c82ed1
2010-07-09 20:21
5.9K
0000013892-745371ead66f21afc3a6ccfbf311cb433114661fc82e711105b9919641bb366c
2010-07-09 19:26
5.9K
0000013652-885752906fdc5cec3408d5f216cc0df1496a40f15fde2c8412f832b895b19fc9
2010-07-09 16:24
5.8K
0000013329-690cbbe3018dbfe0f03aa727507f2f18cf879ae98f62935d853d9c5c1c1f3cb5
2010-07-09 13:06
5.6K
0000012864-c2db8997be04a632c53a146afd40bca8ec9a4b27d895be2cd7fae68554e6c3bb
2010-07-08 20:38
5.4K
0000012656-3d73c196db6b409c96f2531f22bcad0ddbf8b598581f23e731315f8795c414f2
2010-07-08 20:25
5.4K
0000011943-8756b88df7f19973ca2a5bc27bd1b41e0839ac4c6df22a3b4738193d76a186bf
2010-07-07 23:17
5.1K
0000011315-ac9ed81b409f6ccc2f62de2c681eea0f8cb31b0967fbb1b78f86063254d6cce5
2010-07-07 05:39
4.8K
0000011084-e4c559cc462be4b4640f44064c3594be384c8b1dd1e96fe9ab8d4e71bec065c9
2010-07-07 02:40
4.7K
0000010881-5ee8a9338f25d27cc21e905a1095a7bf887962eaff14f9a6bf959c2b3290048e
2010-07-07 02:17
4.7K
0000010353-8acbda6a5196dc7559d550cf266cef2ec0fb9d3772a28376fae71c258bcfec0e
2010-07-06 19:40
4.4K
0000010137-88ab693fa5c35232ef1f006e2ad25a5997297dc7b2b35453fa2bc4e631e537a8
2010-07-06 19:30
4.4K
0000009872-53c016c76c50ba1f244ee9813e0a04d56377b7bba139585714e862d7e663de09
2010-07-06 19:14
4.2K
0000009384-4db203c689cf744d905edf0e4a68b52f4e8d67c36e30e9455706979b3b8e2350
2010-07-05 23:41
4.0K
0000008139-1af9e4f8990480df21989b55936509bdfddcd549351749f2d57222611bf74a07
2010-07-01 16:16
3.5K
0000007904-413f93170c6d1997f470258c8fc545497d347ab92b70ea33224d3eaefb1d3728
2010-07-01 06:08
3.4K
0000007581-c8bbd53c277b578a4d9e234fb1493346cbbaa8f39e1c72bd73b1a99d0d056547
2010-06-30 18:00
3.3K
0000007281-534cd75f3bbbe87642e381d578e467b3c97bddcc00246a9d5e1e1d721bfb3fb9
2010-06-30 15:37
3.1K
0000006838-88fe8afc4ab9d2bbc3edda98d2acef8bec596ea2875bb3c9edb549681f137e70
2010-06-29 18:47
2.9K
0000006432-bc4f1b7b1d5e5ecbcba51f8965731978c047f2712559d69f1ee292c2b90f3c0e
2010-06-29 17:14
2.8K
0000004649-513af50d2620de722cffeaa6c25861a74be5db7a91d1118df03a846bb1329137
2010-06-27 14:02
2.0K
0000004235-322afaebd7eed6f53da50152f53e53d3929473fd67b42d1ba82262efd95f3a35
2010-06-25 21:14
1.9K
0000004015-2c961df0cec7cf99c739520195ff2fe495c84fcd990f8886a357bf65554de93e
2010-06-25 19:46
1.8K
0000003807-f63a1f774160015287eff3886ab7122854209fc479eb7c8daaa88d9838c3e386
2010-06-24 20:47
1.7K
0000003513-c22d284235f00a7c67cad3e50b1b3e4f436c35105cf97c93d7a0894dca019931
2010-06-24 17:09
1.6K
0000003298-84fa74f4fd3e42509e1bbebbcee130cf2cc315015ef5a31275fac7c7fe0d881e
2010-06-24 15:10
1.5K
0000003082-415f2a892656b0b53db342c7d159715a1919b50b74960ddfaee7cc7c4ab9d55d
2010-06-24 15:00
1.4K
Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80