All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.
For information about dotsrc.org and our other services please go to our website.
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
KLEE/ | - | 2021-11-22 00:33:42 |
VOJ/ | - | 2024-04-29 18:53:12 |
JOROL/ | - | 2024-11-12 12:52:25 |
PICA-Record-0.36.readme | 1.3 KiB | 2007-10-31 14:15:11 |
PICA-Record-0.36.tar.gz | 53.7 KiB | 2008-03-27 13:51:09 |
PICA-Record-0.38.readme | 1.4 KiB | 2008-10-07 10:11:25 |
PICA-Record-0.38.tar.gz | 56.3 KiB | 2008-10-08 13:56:19 |
PICA-Record-0.49.readme | 1.3 KiB | 2009-03-02 13:29:51 |
PICA-Record-0.47.readme | 1.3 KiB | 2009-03-02 13:29:51 |
PICA-Record-0.47.tar.gz | 74.2 KiB | 2009-05-07 15:21:20 |
PICA-Record-0.49.tar.gz | 92.3 KiB | 2009-07-17 12:26:33 |
PICA-Record-0.584.readme | 338 B | 2012-10-09 11:50:55 |
PICA-Record-0.584.tar.gz | 113.7 KiB | 2012-10-09 11:52:14 |
PICA-Modification-0.16.readme | 321 B | 2012-10-10 09:11:00 |
PICA-Modification-0.16.tar.gz | 15.7 KiB | 2012-10-10 09:11:22 |
Catmandu-PICA-0.04.readme | 316 B | 2013-09-24 10:09:54 |
Catmandu-PICA-0.04.tar.gz | 27.0 KiB | 2013-09-24 10:10:58 |
PICA-Record-0.585.readme | 338 B | 2014-01-16 10:37:12 |
PICA-Record-0.585.tar.gz | 114.1 KiB | 2014-01-16 10:38:18 |
Catmandu-PICA-0.05.readme | 316 B | 2014-01-16 10:45:01 |
Catmandu-PICA-0.05.tar.gz | 27.4 KiB | 2014-01-16 10:45:19 |
Catmandu-PICA-0.06.readme | 387 B | 2014-03-26 17:13:03 |
Catmandu-PICA-0.06.tar.gz | 34.2 KiB | 2014-03-26 17:14:14 |
Catmandu-PICA-0.07.readme | 388 B | 2014-03-27 21:13:42 |
Catmandu-PICA-0.07.tar.gz | 34.5 KiB | 2014-03-27 21:15:04 |
Catmandu-PICA-0.08.readme | 317 B | 2014-04-04 07:38:47 |
Catmandu-PICA-0.08.tar.gz | 34.6 KiB | 2014-04-04 07:39:29 |
Catmandu-PICA-0.09.readme | 317 B | 2014-05-23 09:46:07 |
Catmandu-PICA-0.09.tar.gz | 34.2 KiB | 2014-05-23 09:46:21 |
Catmandu-PICA-0.10.readme | 388 B | 2014-09-11 13:04:58 |
Catmandu-PICA-0.10.tar.gz | 34.6 KiB | 2014-09-11 13:05:37 |
Catmandu-PICA-0.11.readme | 388 B | 2014-09-12 11:46:36 |
Catmandu-PICA-0.11.tar.gz | 35.9 KiB | 2014-09-12 11:46:58 |
Catmandu-PICA-0.12.readme | 388 B | 2014-09-16 10:50:25 |
Catmandu-PICA-0.12.tar.gz | 36.9 KiB | 2014-09-16 10:51:01 |
Catmandu-PICA-0.13.readme | 388 B | 2014-09-16 12:12:31 |
Catmandu-PICA-0.13.tar.gz | 37.0 KiB | 2014-09-16 12:13:49 |
Catmandu-PICA-0.14.readme | 388 B | 2014-09-17 09:44:48 |
Catmandu-PICA-0.14.tar.gz | 77.1 KiB | 2014-09-17 09:45:55 |
PICA-Data-0.20.readme | 2.0 KiB | 2014-09-17 13:06:08 |
PICA-Data-0.20.tar.gz | 33.5 KiB | 2014-09-17 13:07:08 |
PICA-Data-0.21.readme | 2.5 KiB | 2014-09-18 09:06:34 |
PICA-Data-0.21.tar.gz | 57.1 KiB | 2014-09-18 09:06:40 |
PICA-Data-0.22.readme | 2.5 KiB | 2014-09-18 12:42:05 |
PICA-Data-0.22.tar.gz | 57.8 KiB | 2014-09-18 12:42:48 |
PICA-Data-0.23.readme | 4.4 KiB | 2014-09-19 10:12:26 |
PICA-Data-0.23.tar.gz | 59.4 KiB | 2014-09-19 10:13:02 |
PICA-Data-0.24.readme | 4.7 KiB | 2015-01-16 13:25:27 |
PICA-Data-0.24.tar.gz | 60.0 KiB | 2015-01-16 13:26:16 |
PICA-Data-0.25.readme | 5.4 KiB | 2015-02-05 09:26:33 |
PICA-Data-0.25.tar.gz | 60.2 KiB | 2015-02-05 09:27:27 |
PICA-Data-0.26.readme | 6.1 KiB | 2015-02-05 11:17:31 |
PICA-Data-0.26.tar.gz | 61.1 KiB | 2015-02-05 11:19:01 |
PICA-Data-0.27.readme | 6.1 KiB | 2015-05-07 14:08:21 |
PICA-Data-0.27.tar.gz | 60.5 KiB | 2015-05-07 14:09:18 |
PICA-Data-0.28.readme | 6.1 KiB | 2016-02-16 13:59:00 |
PICA-Data-0.28.tar.gz | 51.6 KiB | 2016-02-16 13:59:21 |
PICA-Data-0.29.readme | 6.1 KiB | 2016-02-17 08:17:20 |
PICA-Data-0.29.tar.gz | 51.7 KiB | 2016-02-17 08:18:15 |
PICA-Data-0.30.readme | 6.1 KiB | 2016-02-18 19:19:50 |
PICA-Data-0.30.tar.gz | 57.5 KiB | 2016-02-18 19:20:06 |
PICA-Data-0.31.readme | 6.4 KiB | 2016-02-19 09:14:09 |
PICA-Data-0.31.tar.gz | 57.4 KiB | 2016-02-19 09:14:54 |
PICA-Data-0.32.readme | 6.4 KiB | 2017-06-28 12:21:43 |
PICA-Data-0.32.tar.gz | 58.2 KiB | 2017-06-28 12:23:17 |
PICA-Data-0.33.readme | 6.4 KiB | 2017-07-10 11:19:56 |
PICA-Data-0.33.tar.gz | 60.5 KiB | 2017-07-10 11:21:00 |
PICA-Data-0.34.readme | 6.4 KiB | 2017-11-18 12:04:07 |
PICA-Data-0.34.tar.gz | 60.6 KiB | 2017-11-18 12:05:00 |
PICA-Data-0.35.readme | 6.8 KiB | 2018-01-29 15:48:56 |
PICA-Data-0.35.tar.gz | 63.2 KiB | 2018-01-29 15:51:53 |
PICA-Data-0.36.readme | 6.9 KiB | 2018-02-25 12:31:44 |
PICA-Data-0.36.tar.gz | 65.5 KiB | 2018-02-25 12:32:22 |
PICA-Data-0.37.readme | 7.0 KiB | 2018-05-23 06:46:21 |
PICA-Data-0.37.tar.gz | 68.0 KiB | 2018-05-23 06:46:44 |
PICA-Data-1.00.readme | 7.3 KiB | 2019-10-01 16:43:47 |
PICA-Data-1.00.tar.gz | 68.4 KiB | 2019-10-01 16:44:14 |
PICA-Data-1.01.readme | 7.8 KiB | 2019-12-18 08:20:18 |
PICA-Data-1.01.tar.gz | 72.2 KiB | 2019-12-18 08:21:32 |
PICA-Data-1.02.readme | 7.8 KiB | 2020-02-06 11:16:36 |
PICA-Data-1.02.tar.gz | 72.4 KiB | 2020-02-06 11:17:25 |
PICA-Data-1.03.readme | 7.9 KiB | 2020-02-11 11:47:55 |
PICA-Data-1.03.tar.gz | 74.2 KiB | 2020-02-11 11:49:02 |
PICA-Data-1.04.readme | 7.9 KiB | 2020-03-23 09:47:50 |
PICA-Data-1.04.tar.gz | 74.2 KiB | 2020-03-23 09:48:58 |
PICA-Data-1.05.readme | 7.9 KiB | 2020-03-23 09:59:51 |
PICA-Data-1.05.tar.gz | 74.2 KiB | 2020-03-23 10:00:26 |
PICA-Data-1.06.readme | 7.9 KiB | 2020-04-20 09:20:42 |
PICA-Data-1.06.tar.gz | 74.3 KiB | 2020-04-20 09:21:18 |
PICA-Data-1.07.readme | 8.0 KiB | 2020-06-04 11:55:10 |
PICA-Data-1.07.tar.gz | 75.9 KiB | 2020-06-04 11:56:00 |
PICA-Data-1.08.readme | 9.7 KiB | 2020-06-10 13:27:34 |
PICA-Data-1.08.tar.gz | 72.3 KiB | 2020-06-10 13:28:35 |
PICA-Data-1.09.readme | 9.5 KiB | 2020-06-24 08:43:49 |
PICA-Data-1.09.tar.gz | 73.0 KiB | 2020-06-24 08:44:19 |
PICA-Data-1.10.readme | 9.5 KiB | 2020-06-25 21:00:35 |
PICA-Data-1.10.tar.gz | 73.3 KiB | 2020-06-25 21:01:20 |
PICA-Data-1.11.readme | 9.5 KiB | 2020-07-01 10:57:31 |
PICA-Data-1.11.tar.gz | 73.4 KiB | 2020-07-01 10:57:48 |
PICA-Data-1.12.readme | 9.5 KiB | 2020-07-13 12:14:00 |
PICA-Data-1.12.tar.gz | 71.6 KiB | 2020-07-13 12:14:33 |
PICA-Data-1.13.readme | 9.5 KiB | 2020-07-14 13:06:23 |
PICA-Data-1.13.tar.gz | 71.8 KiB | 2020-07-14 13:06:55 |
PICA-Data-1.14.readme | 9.5 KiB | 2020-07-28 08:42:50 |
PICA-Data-1.14.tar.gz | 72.0 KiB | 2020-07-28 08:43:48 |
PICA-Data-1.15.readme | 9.9 KiB | 2021-03-01 10:56:52 |
PICA-Data-1.15.tar.gz | 73.8 KiB | 2021-03-01 10:57:56 |
PICA-Data-1.16.readme | 9.6 KiB | 2021-03-02 16:19:50 |
PICA-Data-1.16.tar.gz | 74.5 KiB | 2021-03-02 16:20:50 |
PICA-Data-1.17.readme | 9.8 KiB | 2021-04-23 08:16:17 |
PICA-Data-1.17.tar.gz | 75.2 KiB | 2021-04-23 08:17:04 |
PICA-Data-1.18.readme | 9.8 KiB | 2021-04-30 10:54:52 |
PICA-Data-1.18.tar.gz | 75.7 KiB | 2021-04-30 10:55:23 |
PICA-Data-1.19.readme | 9.8 KiB | 2021-05-10 13:22:42 |
PICA-Data-1.19.tar.gz | 76.0 KiB | 2021-05-10 13:23:29 |
PICA-Data-1.20.readme | 10.3 KiB | 2021-05-12 15:28:01 |
PICA-Data-1.20.tar.gz | 76.4 KiB | 2021-05-12 15:29:13 |
PICA-Data-1.21.readme | 10.4 KiB | 2021-05-18 09:23:29 |
PICA-Data-1.21.tar.gz | 77.2 KiB | 2021-05-18 09:24:21 |
PICA-Data-1.22.readme | 10.5 KiB | 2021-05-26 12:54:39 |
PICA-Data-1.22.tar.gz | 77.7 KiB | 2021-05-26 12:54:41 |
PICA-Data-1.23.tar.gz | 78.3 KiB | 2021-06-03 10:17:25 |
PICA-Data-1.23.readme | 356 B | 2021-06-03 10:19:27 |
PICA-Data-1.24.tar.gz | 78.7 KiB | 2021-06-07 08:49:14 |
PICA-Data-1.24.readme | 356 B | 2021-06-07 08:51:56 |
PICA-Data-1.25.readme | 11.0 KiB | 2021-06-16 14:18:50 |
PICA-Data-1.25.tar.gz | 83.7 KiB | 2021-06-16 14:19:18 |
PICA-Data-1.26.readme | 11.0 KiB | 2021-06-19 16:51:05 |
PICA-Data-1.26.tar.gz | 84.6 KiB | 2021-06-19 16:51:50 |
PICA-Data-1.27.readme | 11.0 KiB | 2021-06-23 07:23:18 |
PICA-Data-1.27.tar.gz | 84.8 KiB | 2021-06-23 07:24:20 |
PICA-Data-1.28.readme | 11.5 KiB | 2021-07-06 09:52:26 |
PICA-Data-1.28.tar.gz | 85.2 KiB | 2021-07-06 09:53:10 |
PICA-Data-1.29.readme | 11.5 KiB | 2021-07-22 08:51:07 |
PICA-Data-1.29.tar.gz | 85.2 KiB | 2021-07-22 08:58:53 |
PICA-Data-1.30.readme | 11.6 KiB | 2021-08-17 16:46:40 |
PICA-Data-1.30.tar.gz | 85.7 KiB | 2021-08-17 16:47:53 |
PICA-Data-1.31.readme | 11.6 KiB | 2021-09-24 08:34:45 |
PICA-Data-1.31.tar.gz | 86.4 KiB | 2021-09-24 08:36:08 |
PICA-Data-1.32.readme | 11.6 KiB | 2021-09-29 09:44:17 |
PICA-Data-1.32.tar.gz | 86.5 KiB | 2021-09-29 09:45:20 |
PICA-Data-1.33.readme | 11.6 KiB | 2021-09-29 14:14:15 |
PICA-Data-1.33.tar.gz | 86.7 KiB | 2021-09-29 14:14:43 |
PICA-Data-1.34.readme | 11.6 KiB | 2021-10-05 07:16:06 |
PICA-Data-1.34.tar.gz | 87.1 KiB | 2021-10-05 07:17:44 |
PICA-Data-2.00.readme | 13.4 KiB | 2021-12-09 09:29:47 |
PICA-Data-2.00.tar.gz | 90.4 KiB | 2021-12-09 09:30:28 |
PICA-Data-2.01.readme | 13.6 KiB | 2021-12-10 13:01:00 |
PICA-Data-2.01.tar.gz | 91.8 KiB | 2021-12-10 13:01:34 |
PICA-Data-2.02.readme | 13.6 KiB | 2022-03-24 08:13:42 |
PICA-Data-2.02.tar.gz | 91.8 KiB | 2022-03-24 08:15:04 |
PICA-Data-2.03.readme | 13.8 KiB | 2022-04-20 10:24:03 |
PICA-Data-2.03.tar.gz | 92.2 KiB | 2022-04-20 10:25:17 |
PICA-Data-2.04.readme | 13.9 KiB | 2022-09-20 09:31:32 |
PICA-Data-2.04.tar.gz | 92.6 KiB | 2022-09-20 09:32:02 |
PICA-Data-2.05.readme | 14.6 KiB | 2022-11-15 07:41:36 |
PICA-Data-2.05.tar.gz | 93.7 KiB | 2022-11-15 07:42:07 |
PICA-Data-2.06.readme | 14.7 KiB | 2023-01-31 09:15:12 |
PICA-Data-2.06.tar.gz | 94.6 KiB | 2023-01-31 09:16:30 |
PICA-Data-2.08.readme | 15.1 KiB | 2023-03-28 07:09:44 |
PICA-Data-2.08.tar.gz | 94.9 KiB | 2023-03-28 07:10:10 |
PICA-Data-2.09.readme | 15.1 KiB | 2023-04-14 07:03:10 |
PICA-Data-2.09.tar.gz | 95.3 KiB | 2023-04-14 07:04:12 |
PICA-Data-2.10.readme | 15.2 KiB | 2023-08-09 14:01:31 |
PICA-Data-2.10.tar.gz | 96.0 KiB | 2023-08-09 14:02:06 |
PICA-Data-2.11.readme | 15.2 KiB | 2023-08-18 05:19:31 |
PICA-Data-2.11.tar.gz | 96.2 KiB | 2023-08-18 05:21:09 |
PICA-Data-2.12.readme | 15.4 KiB | 2023-08-28 08:02:03 |
PICA-Data-2.12.tar.gz | 97.0 KiB | 2023-08-28 08:02:52 |