Index of /by-release/atomic/debian/a/acl2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]acl2_3.0.1-1.patch-basis2006-08-04 01:09 6  
[   ]acl2_3.2-1.patch-basis2007-05-18 09:12 6  
[   ]acl2_3.3-1.1.patch-basis2008-04-06 10:09 6  
[   ]acl2_3.3-1.patch-basis2007-12-04 00:11 6  
[   ]acl2_3.4-2.patch-basis2009-02-24 00:30 6  
[   ]acl2_3.6-1.patch-basis2009-12-22 19:09 6  
[   ]acl2_3.6-2.patch-basis2010-01-03 22:21 6  
[   ]acl2_3.6-3.patch-basis2010-01-05 06:25 6  
[   ]acl2_3.6-4.patch-basis2010-01-12 05:26 6  
[   ]acl2_3.6.1-1.patch-basis2010-06-08 05:43 6  
[   ]acl2_4.0-2.patch-basis2010-07-09 04:40 6  
[   ]acl2_4.0-3.patch-basis2010-07-09 23:37 6  
[   ]acl2_4.1-1.patch-basis2010-09-06 19:32 6  
[   ]acl2_4.1-2.patch-basis2010-09-26 04:33 6  
[   ]acl2_4.1-3.patch-basis2010-10-21 05:54 6  
[   ]acl2_4.1-4.patch-basis2010-10-31 22:13 6  
[   ]acl2_4.1-5.patch-basis2010-11-06 17:05 6  
[   ]acl2_4.2-1.patch-basis2011-05-14 23:54 6  
[   ]acl2_4.3-1.patch-basis2012-01-11 22:57 6  
[   ]acl2_4.3-2.patch-basis2012-01-23 17:13 6  
[   ]acl2_4.3-3.patch-basis2012-05-21 23:14 6  
[   ]acl2_5.0-1.patch-basis2012-08-25 21:05 6  
[   ]acl2_6.0-1.patch-basis2013-01-13 09:05 6  
[   ]acl2_6.0-2.patch-basis2013-01-14 03:35 6  
[   ]acl2_6.1-1.patch-basis2013-05-13 03:35 6  
[   ]acl2_6.1-2.patch-basis2013-05-22 21:35 6  
[   ]acl2_6.1-3.patch-basis2013-05-24 21:36 6  
[   ]acl2_6.1-5.patch-basis2013-06-22 15:35 6  
[   ]acl2_6.1-6.patch-basis2013-07-03 03:35 6  
[   ]acl2_6.2-1.patch-basis2013-07-12 22:08 6  
[   ]acl2_6.2-3.patch-basis2013-07-23 03:36 6  
[   ]acl2_6.2-4.patch-basis2013-07-24 09:36 6  
[   ]acl2_6.2-5.patch-basis2013-07-28 21:36 6  
[   ]acl2_6.2-6.patch-basis2013-07-30 21:45 6  
[   ]acl2_6.2-7.patch-basis2013-08-08 15:37 6  
[   ]acl2_6.3-1.patch-basis2013-10-04 15:35 6  
[   ]acl2_6.3-2.patch-basis2013-10-12 22:06 6  
[   ]acl2_6.3-3.patch-basis2013-10-15 15:35 6  
[   ]acl2_6.3-4.patch-basis2013-10-17 10:06 6  
[   ]acl2_6.3-5.patch-basis2013-10-19 21:36 6  
[   ]acl2_6.3-6.patch-basis2013-11-17 11:40 6  
[   ]acl2_6.4-1.patch-basis2014-05-02 17:06 6  
[   ]acl2_6.4-2.patch-basis2014-05-08 10:14 6  
[   ]acl2_6.4-3.patch-basis2014-05-12 23:08 6  
[   ]acl2_6.4-4.patch-basis2014-05-18 10:07 6  
[   ]acl2_6.5-1.patch-basis2014-08-17 21:37 6  
[   ]acl2_6.5-2.patch-basis2014-09-08 22:10 6  
[   ]acl2_6.5-3.patch-basis2014-10-25 17:19 6  
[   ]acl2_6.5-4.patch-basis2014-10-26 16:06 6  
[   ]acl2_6.5-5.patch-basis2014-10-27 16:15 6  
[   ]acl2_7.0-1.patch-basis2015-01-27 10:06 6  
[   ]acl2_7.1-1.patch-basis2015-06-01 22:35 6  
[   ]acl2_7.1-2.patch-basis2015-10-02 16:05 6  
[   ]acl2_7.1-3.patch-basis2015-10-09 22:05 6  
[   ]acl2_7.1dfsg-1.patch-basis2015-10-21 22:11 6  
[   ]acl2_3.0.1-3.patch-basis2006-10-12 02:09 8  
[   ]acl2_3.0.1-4.patch-basis2006-10-14 01:08 8  
[   ]acl2_3.0.1-5.patch-basis2006-10-18 02:08 8  
[   ]acl2_3.0.1-6.patch-basis2006-10-19 03:08 8  
[   ]acl2_3.0.1-7.patch-basis2006-10-20 02:08 8  
[   ]acl2_3.0.1-8.patch-basis2006-10-21 02:08 8  
[   ]acl2_3.1-1.patch-basis2006-12-05 01:08 8  
[   ]acl2_3.4-1.patch-basis2008-08-25 23:16 8  
[   ]acl2_3.6.1-2.patch-basis2010-06-11 17:48 8  
[   ]acl2_4.0-1.patch-basis2010-07-08 10:33 8  
[   ]acl2_7.1dfsg-2.patch-basis2015-10-29 04:05 10  
[   ]acl2_7.2dfsg-1.patch-basis2016-04-15 12:40 10  
[   ]acl2_7.2dfsg-2.patch-basis2016-05-04 20:49 10  
[   ]acl2_7.2dfsg-3.patch-basis2016-10-17 23:07 10  
[   ]acl2_7.4dfsg-1.patch-basis2017-05-10 04:41 10  
[   ]acl2_7.4dfsg-2.patch-basis2017-05-31 10:10 10  
[   ]acl2_7.4dfsg-3.1.patch-basis2017-08-09 16:11 10  
[   ]acl2_7.4dfsg-3.patch-basis2017-06-09 22:09 10  
[   ]acl2_8.0dfsg-1.patch-basis2018-01-13 22:08 10  
[   ]acl2_8.1dfsg-1.patch-basis2019-03-03 16:05 10  
[   ]acl2_8.1dfsg-2.patch-basis2019-03-30 22:05 10  
[   ]acl2_8.1dfsg-3.patch-basis2019-04-04 16:35 10  
[   ]acl2_8.1dfsg-4.patch-basis2019-10-31 22:05 10  
[   ]acl2_8.1dfsg-5.patch-basis2019-12-08 23:36 10  
[   ]acl2_8.1dfsg-6.patch-basis2019-12-09 21:06 10  
[   ]acl2_8.2dfsg-1.patch-basis2019-12-19 21:05 10  
[   ]acl2_8.2dfsg-2.patch-basis2019-12-27 03:35 10  
[   ]acl2_8.2dfsg-3.patch-basis2019-12-31 09:35 10  
[   ]acl2_8.3dfsg-1.patch-basis2020-08-24 09:36 10  
[   ]acl2_8.3dfsg-2.patch-basis2021-01-27 21:06 10  
[   ]acl2_8.3dfsg-3.patch-basis2021-09-14 03:06 10  
[   ]acl2_8.3dfsg-4.patch-basis2021-10-11 16:07 10  
[   ]acl2_8.4dfsg-1.patch-basis2021-10-28 20:37 10  
[   ]acl2_8.4dfsg-2.patch-basis2021-11-01 21:07 10  
[   ]acl2_8.5dfsg-1.patch-basis2022-07-27 22:37 10  
[   ]acl2_8.5dfsg-2.patch-basis2022-12-22 15:07 10  
[   ]acl2_8.5dfsg-3.patch-basis2022-12-30 21:08 10  
[   ]acl2_8.5dfsg-4.patch-basis2023-01-14 04:33 10  
[   ]acl2_8.5dfsg-5.patch-basis2023-01-16 09:07 10  
[   ]acl2_8.5dfsg-6.patch-basis2024-07-28 21:37 10  
[   ]acl2_7.4dfsg-4.patch-basis2017-10-02 21:38 12  
[   ]acl2_8.3dfsg-4.patch.bz22021-10-11 16:07 310  
[   ]acl2_6.0-2.patch.bz22013-01-14 03:35 486  
[   ]acl2_6.3-6.patch.bz22013-11-17 11:40 544  
[   ]acl2_6.2-4.patch.bz22013-07-24 09:36 550  
[   ]acl2_4.1-4.patch.bz22010-10-31 22:13 551  
[   ]acl2_6.3-4.patch.bz22013-10-17 10:06 554  
[   ]acl2_6.3-2.patch.bz22013-10-12 22:06 559  
[   ]acl2_6.3-5.patch.bz22013-10-19 21:36 564  
[   ]acl2_8.5dfsg-4.patch.bz22023-01-14 04:33 564  
[TXT]acl2_8.5dfsg-6.patch2024-07-28 21:37 565  
[   ]acl2_6.1-6.patch.bz22013-07-03 03:35 568  
[   ]acl2_8.1dfsg-6.patch.bz22019-12-09 21:06 581  
[   ]acl2_7.4dfsg-4.patch.bz22017-10-02 21:38 600  
[   ]acl2_6.5-5.patch.bz22014-10-27 16:15 601  
[   ]acl2_8.4dfsg-2.patch.bz22021-11-01 21:07 612  
[   ]acl2_6.1-2.patch.bz22013-05-22 21:35 616  
[   ]acl2_8.5dfsg-3.patch.bz22022-12-30 21:08 642  
[   ]acl2_7.1dfsg-2.patch.bz22015-10-29 04:05 656  
[   ]acl2_8.5dfsg-5.patch.bz22023-01-16 09:07 656  
[   ]acl2_4.1-2.patch.bz22010-09-26 04:33 669  
[   ]acl2_8.1dfsg-5.patch.bz22019-12-08 23:36 681  
[   ]acl2_6.3-3.patch.bz22013-10-15 15:35 684  
[   ]acl2_4.1-3.patch.bz22010-10-21 05:54 685  
[   ]acl2_4.0-3.patch.bz22010-07-09 23:37 736  
[   ]acl2_6.5-4.patch.bz22014-10-26 16:06 740  
[   ]acl2_6.4-4.patch.bz22014-05-18 10:07 775  
[   ]acl2_7.4dfsg-3.1.patch.bz22017-08-09 16:11 781  
[   ]acl2_8.1dfsg-4.patch.bz22019-10-31 22:05 840  
[   ]acl2_8.2dfsg-2.patch.bz22019-12-27 03:35 897  
[   ]acl2_3.6-3.patch.bz22010-01-05 06:25 898  
[   ]acl2_6.1-3.patch.bz22013-05-24 21:36 918  
[   ]acl2_6.5-2.patch.bz22014-09-08 22:10 1.0K 
[   ]acl2_3.6-2.patch.bz22010-01-03 22:21 1.0K 
[   ]acl2_6.2-3.patch.bz22013-07-23 03:36 1.0K 
[   ]acl2_6.4-2.patch.bz22014-05-08 10:14 1.0K 
[   ]acl2_4.0-2.patch.bz22010-07-09 04:40 1.0K 
[   ]acl2_7.2dfsg-2.patch.bz22016-05-04 20:49 1.0K 
[   ]acl2_7.4dfsg-3.patch.bz22017-06-09 22:09 1.1K 
[   ]acl2_6.4-3.patch.bz22014-05-12 23:08 1.2K 
[   ]acl2_6.1-5.patch.bz22013-06-22 15:35 1.2K 
[   ]acl2_4.3-3.patch.bz22012-05-21 23:14 1.2K 
[   ]acl2_6.2-6.patch.bz22013-07-30 21:45 1.3K 
[   ]acl2_3.6-4.patch.bz22010-01-12 05:26 1.4K 
[   ]acl2_6.2-7.patch.bz22013-08-08 15:37 1.4K 
[   ]acl2_8.1dfsg-3.patch.bz22019-04-04 16:35 1.5K 
[   ]acl2_6.2-5.patch.bz22013-07-28 21:36 1.6K 
[   ]acl2_3.6.1-2.patch.bz22010-06-11 17:48 1.6K 
[   ]acl2_7.1-2.patch.bz22015-10-02 16:05 1.7K 
[   ]acl2_8.1dfsg-2.patch.bz22019-03-30 22:05 1.7K 
[   ]acl2_6.5-3.patch.bz22014-10-25 17:19 1.8K 
[   ]acl2_4.3-2.patch.bz22012-01-23 17:13 2.2K 
[   ]acl2_8.2dfsg-3.patch.bz22019-12-31 09:35 2.3K 
[   ]acl2_7.4dfsg-2.patch.bz22017-05-31 10:10 2.4K 
[   ]acl2_8.5dfsg-2.patch.bz22022-12-22 15:07 2.6K 
[   ]patches.xml2024-07-28 22:03 2.8K 
[   ]acl2_4.1-5.patch.bz22010-11-06 17:05 3.8K 
[   ]acl2_8.3dfsg-2.patch.bz22021-01-27 21:06 26K 
[   ]acl2_7.1-3.patch.bz22015-10-09 22:05 31K 
[   ]acl2_8.3dfsg-3.patch.bz22021-09-14 03:06 55K 
[   ]acl2_7.1dfsg-1.patch.bz22015-10-21 22:11 87K 
[   ]acl2_3.6.1-1.patch.bz22010-06-08 05:43 229K 
[   ]acl2_7.2dfsg-3.patch.bz22016-10-17 23:07 272K 
[   ]acl2_4.1-1.patch.bz22010-09-06 19:32 312K 
[   ]acl2_4.2-1.patch.bz22011-05-14 23:54 1.1M 
[   ]acl2_6.2-1.patch.bz22013-07-12 22:08 1.8M 
[   ]acl2_6.1-1.patch.bz22013-05-13 03:35 2.0M 
[   ]acl2_6.0-1.patch.bz22013-01-13 09:05 2.5M 
[   ]acl2_4.0-1.patch.bz22010-07-08 10:33 2.7M 
[   ]acl2_4.3-1.patch.bz22012-01-11 22:57 3.1M 
[   ]acl2_7.4dfsg-1.patch.bz22017-05-10 04:41 3.2M 
[   ]acl2_5.0-1.patch.bz22012-08-25 21:05 3.2M 
[   ]acl2_6.5-1.patch.bz22014-08-17 21:37 3.5M 
[   ]acl2_3.6-1.patch.bz22009-12-22 19:09 3.6M 
[   ]acl2_8.2dfsg-1.patch.bz22019-12-19 21:05 4.0M 
[   ]acl2_6.3-1.patch.bz22013-10-04 15:35 4.1M 
[   ]acl2_7.1-1.patch.bz22015-06-01 22:35 4.1M 
[   ]acl2_8.1dfsg-1.patch.bz22019-03-03 16:05 5.3M 
[   ]acl2_8.0dfsg-1.patch.bz22018-01-13 22:08 5.7M 
[   ]acl2_7.2dfsg-1.patch.bz22016-04-15 12:40 6.5M 
[   ]acl2_7.0-1.patch.bz22015-01-27 10:06 6.8M 
[   ]acl2_6.4-1.patch.bz22014-05-02 17:06 10M 
[   ]acl2_8.3dfsg-1.patch.bz22020-08-24 09:36 11M 
[   ]acl2_8.5dfsg-1.patch.bz22022-07-27 22:37 15M 
[   ]acl2_8.4dfsg-1.patch.bz22021-10-28 20:37 32M 

Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443