Index of /download/generated

	Name	Last modified	Size
	Up	-	-
	README	Tue Aug 12 13:02:51 2008	320
	pl-doc-5.10.0.tar.gz	Tue Apr 20 08:45:35 2010	3,526,680
	pl-doc-5.10.1.tar.gz	Wed Jul 21 09:26:53 2010	3,601,022
	pl-doc-5.10.2.tar.gz	Thu Oct 28 19:23:03 2010	3,804,890
	pl-doc-5.10.3.tar.gz	Thu Mar 24 11:06:32 2011	3,964,606
	pl-doc-5.10.4.tar.gz	Mon Mar 28 15:26:51 2011	3,964,802
	pl-doc-5.10.5.tar.gz	Thu Aug 18 19:07:39 2011	3,995,938
	pl-doc-5.10.6.tar.gz	Thu Dec 15 17:39:36 2011	4,039,649
	pl-doc-5.11.0.tar.gz	Thu May 6 14:29:39 2010	3,567,263
	pl-doc-5.11.1.tar.gz	Thu May 20 17:34:42 2010	3,565,031
	pl-doc-5.11.10.tar.gz	Tue Dec 7 13:14:38 2010	3,833,175
	pl-doc-5.11.11.tar.gz	Tue Jan 4 11:57:39 2011	4,031,413
	pl-doc-5.11.12.tar.gz	Sat Jan 15 15:37:32 2011	4,025,950
	pl-doc-5.11.13.tar.gz	Fri Jan 21 13:02:50 2011	4,031,540
	pl-doc-5.11.14.tar.gz	Fri Feb 18 14:13:42 2011	4,038,518
	pl-doc-5.11.15.tar.gz	Fri Feb 18 20:33:34 2011	4,035,313
	pl-doc-5.11.16.tar.gz	Wed Mar 9 13:29:30 2011	4,050,304
	pl-doc-5.11.17.tar.gz	Thu Mar 10 09:38:12 2011	4,049,863
	pl-doc-5.11.18.tar.gz	Thu Mar 24 12:59:08 2011	4,050,716
	pl-doc-5.11.19.tar.gz	Thu Apr 14 17:05:04 2011	4,048,880
	pl-doc-5.11.2.tar.gz	Mon Jun 28 19:35:55 2010	3,598,864
	pl-doc-5.11.20.tar.gz	Thu May 5 12:49:22 2011	4,054,279
	pl-doc-5.11.21.tar.gz	Fri May 20 12:16:54 2011	4,073,555
	pl-doc-5.11.22.tar.gz	Fri Jun 3 14:30:03 2011	4,071,319
	pl-doc-5.11.23.tar.gz	Thu Jun 23 16:15:04 2011	4,076,788
	pl-doc-5.11.24.tar.gz	Tue Jul 12 14:55:29 2011	4,081,255
	pl-doc-5.11.25.tar.gz	Tue Jul 12 14:58:07 2011	4,081,623
	pl-doc-5.11.26.tar.gz	Thu Aug 18 20:08:38 2011	4,078,911
	pl-doc-5.11.27.tar.gz	Mon Sep 12 12:39:40 2011	4,090,770
	pl-doc-5.11.28.tar.gz	Fri Sep 23 14:09:33 2011	4,095,124
	pl-doc-5.11.29.tar.gz	Tue Oct 18 19:03:50 2011	4,098,149
	pl-doc-5.11.3.tar.gz	Fri Jul 9 13:30:54 2010	3,610,519
	pl-doc-5.11.30.tar.gz	Tue Nov 8 08:48:27 2011	4,096,513
	pl-doc-5.11.31.tar.gz	Fri Nov 11 15:56:21 2011	4,106,592
	pl-doc-5.11.32.tar.gz	Tue Nov 15 15:41:55 2011	4,107,056
	pl-doc-5.11.33.tar.gz	Tue Dec 6 19:28:40 2011	4,122,022
	pl-doc-5.11.34.tar.gz	Sun Dec 11 20:09:38 2011	4,131,475
	pl-doc-5.11.35.tar.gz	Fri Dec 23 15:28:44 2011	4,133,177
	pl-doc-5.11.36.tar.gz	Tue Jan 3 20:41:01 2012	4,126,716
	pl-doc-5.11.37.tar.gz	Mon Jan 30 14:34:37 2012	4,133,778
	pl-doc-5.11.4.tar.gz	Thu Jul 22 08:22:20 2010	3,610,559
	pl-doc-5.11.5.tar.gz	Fri Sep 10 10:17:40 2010	3,612,785
	pl-doc-5.11.6.tar.gz	Tue Sep 21 10:36:49 2010	3,792,228
	pl-doc-5.11.7.tar.gz	Tue Oct 12 17:42:35 2010	3,796,632
	pl-doc-5.11.8.tar.gz	Thu Oct 28 20:14:20 2010	3,799,081
	pl-doc-5.11.9.tar.gz	Thu Nov 18 15:39:42 2010	3,828,913
	pl-doc-5.6.59.tar.gz	Wed Aug 13 13:34:17 2008	2,998,537
	pl-doc-5.6.62.tar.gz	Wed Oct 22 18:59:47 2008	3,023,915
	pl-doc-5.6.63.tar.gz	Tue Dec 2 19:25:18 2008	3,024,419
	pl-doc-5.7.0.tar.gz	Wed Aug 13 13:34:17 2008	2,998,537
	pl-doc-5.7.10.tar.gz	Mon Jun 8 12:18:53 2009	3,214,006
	pl-doc-5.7.11.tar.gz	Fri Jul 3 14:07:55 2009	3,221,764
	pl-doc-5.7.12.tar.gz	Thu Jul 23 18:03:36 2009	3,259,930
	pl-doc-5.7.13.tar.gz	Fri Jul 31 15:31:40 2009	3,260,296
	pl-doc-5.7.14.tar.gz	Mon Aug 17 14:49:52 2009	3,264,569
	pl-doc-5.7.15.tar.gz	Sat Sep 19 13:49:57 2009	3,296,535
	pl-doc-5.7.2.tar.gz	Wed Oct 22 19:56:55 2008	3,015,531
	pl-doc-5.7.3.tar.gz	Tue Dec 2 19:31:21 2008	3,015,963
	pl-doc-5.7.4.tar.gz	Thu Jan 8 10:59:33 2009	3,053,679
	pl-doc-5.7.5.tar.gz	Mon Feb 2 10:54:20 2009	3,113,309
	pl-doc-5.7.6.tar.gz	Mon Feb 16 19:32:03 2009	3,199,572
	pl-doc-5.7.7.tar.gz	Thu Feb 26 14:10:49 2009	3,202,542
	pl-doc-5.7.8.tar.gz	Fri Mar 13 17:26:27 2009	3,203,932
	pl-doc-5.7.9.tar.gz	Thu Jun 4 08:58:18 2009	3,213,750
	pl-doc-5.8.0.tar.gz	Mon Oct 19 13:02:35 2009	3,310,780
	pl-doc-5.8.1.tar.gz	Thu Nov 19 13:43:49 2009	3,432,845
	pl-doc-5.8.2.tar.gz	Mon Nov 30 20:26:44 2009	3,435,966
	pl-doc-5.8.3.tar.gz	Sun Jan 10 15:20:18 2010	3,443,635
	pl-doc-5.9.0.tar.gz	Tue Oct 20 12:16:45 2009	3,303,105
	pl-doc-5.9.1.tar.gz	Wed Nov 11 20:21:38 2009	3,426,619
	pl-doc-5.9.10.tar.gz	Tue Mar 16 16:21:11 2010	3,515,125
	pl-doc-5.9.11.tar.gz	Sun Apr 18 14:26:11 2010	3,522,997
	pl-doc-5.9.2.tar.gz	Wed Nov 18 20:04:58 2009	3,427,085
	pl-doc-5.9.3.tar.gz	Mon Nov 30 20:41:28 2009	3,430,664
	pl-doc-5.9.4.tar.gz	Thu Dec 10 12:39:25 2009	3,433,107
	pl-doc-5.9.5.tar.gz	Fri Dec 18 14:31:22 2009	3,474,895
	pl-doc-5.9.6.tar.gz	Tue Jan 5 19:03:49 2010	3,477,438
	pl-doc-5.9.7.tar.gz	Sun Jan 10 14:09:25 2010	3,481,273
	pl-doc-5.9.8.tar.gz	Mon Feb 1 15:51:47 2010	3,509,434
	pl-doc-5.9.9.tar.gz	Wed Feb 24 07:54:09 2010	3,504,626
	pl-doc-6.0.0.tar.gz	Tue Feb 7 20:24:13 2012	4,046,693
	pl-doc-6.0.1.tar.gz	Wed Feb 29 17:11:52 2012	4,180,006
	pl-doc-6.0.2.tar.gz	Sun Mar 4 13:12:50 2012	4,182,868
	pl-doc-6.1.0.tar.gz	Wed Feb 15 20:37:12 2012	4,178,286
	pl-doc-6.1.1.tar.gz	Thu Feb 23 14:19:03 2012	4,268,805
	pl-doc-6.1.10.tar.gz	Sun Jul 29 20:30:38 2012	4,381,828
	pl-doc-6.1.11.tar.gz	Tue Jul 31 11:18:18 2012	4,386,577
	pl-doc-6.1.12.tar.gz	Tue Aug 14 11:30:50 2012	4,385,782
	pl-doc-6.1.13.tar.gz	Fri Aug 17 15:37:56 2012	4,387,186
	pl-doc-6.1.2.tar.gz	Wed Feb 29 19:29:25 2012	4,269,317
	pl-doc-6.1.3.tar.gz	Tue Mar 27 20:16:44 2012	4,274,955
	pl-doc-6.1.4.tar.gz	Fri May 11 14:38:31 2012	4,340,336
	pl-doc-6.1.5.tar.gz	Thu May 24 14:55:09 2012	4,342,361
	pl-doc-6.1.6.tar.gz	Wed Jun 6 09:39:27 2012	4,356,874
	pl-doc-6.1.7.tar.gz	Tue Jun 26 16:33:09 2012	4,360,176
	pl-doc-6.1.8.tar.gz	Wed Jun 27 20:14:34 2012	4,375,318
	pl-doc-6.1.9.tar.gz	Sun Jul 15 17:09:40 2012	4,379,397
	pl-doc-6.2.0.tar.gz	Tue Aug 21 12:29:49 2012	4,308,802
	pl-doc-6.2.1.tar.gz	Sun Sep 9 15:06:35 2012	4,309,166
	pl-doc-6.2.2.tar.gz	Thu Sep 27 19:01:32 2012	4,302,485
	pl-doc-6.2.3.tar.gz	Wed Nov 21 21:06:19 2012	4,273,691
	pl-doc-6.2.4.tar.gz	Tue Dec 11 12:41:03 2012	4,309,672
	pl-doc-6.2.5.tar.gz	Fri Dec 21 09:55:53 2012	4,316,226
	pl-doc-6.2.6.tar.gz	Fri Jan 11 12:34:56 2013	4,319,452
	pl-doc-6.3.0.tar.gz	Fri Aug 31 10:49:14 2012	4,391,060
	pl-doc-6.3.1.tar.gz	Wed Sep 19 12:45:05 2012	4,386,438
	pl-doc-6.3.10.tar.gz	Fri Feb 1 12:39:25 2013	4,382,799
	pl-doc-6.3.11.tar.gz	Mon Feb 11 09:23:24 2013	4,361,724
	pl-doc-6.3.12.tar.gz	Thu Feb 21 15:14:59 2013	4,363,477
	pl-doc-6.3.13.tar.gz	Thu Apr 4 10:06:20 2013	4,359,853
	pl-doc-6.3.14.tar.gz	Mon Apr 15 08:18:11 2013	4,362,729
	pl-doc-6.3.15.tar.gz	Fri May 3 12:12:46 2013	4,373,024
	pl-doc-6.3.16.tar.gz	Sun Jun 9 13:20:53 2013	4,374,820
	pl-doc-6.3.17.tar.gz	Fri Jun 14 11:39:57 2013	4,388,111
	pl-doc-6.3.18.tar.gz	Fri Jun 28 12:14:34 2013	4,384,227
	pl-doc-6.3.19.tar.gz	Thu Jul 11 12:26:22 2013	4,385,392
	pl-doc-6.3.2.tar.gz	Mon Oct 8 12:28:27 2012	4,387,032
	pl-doc-6.3.3.tar.gz	Thu Oct 25 09:54:20 2012	4,391,974
	pl-doc-6.3.4.tar.gz	Wed Nov 14 17:06:56 2012	4,391,929
	pl-doc-6.3.5.tar.gz	Wed Dec 12 14:26:30 2012	4,362,538
	pl-doc-6.3.6.tar.gz	Thu Dec 20 14:40:04 2012	4,368,522
	pl-doc-6.3.7.tar.gz	Fri Dec 21 09:30:33 2012	4,368,536
	pl-doc-6.3.8.tar.gz	Tue Jan 15 15:38:12 2013	4,381,347
	pl-doc-6.3.9.tar.gz	Thu Jan 31 20:17:08 2013	4,382,655
	pl-doc-6.4.0.tar.gz	Wed Jul 17 14:10:06 2013	4,307,328
	pl-doc-6.4.1.tar.gz	Sun Jul 21 10:26:40 2013	4,302,149
	pl-doc-6.5.0.tar.gz	Mon Jul 29 12:42:50 2013	4,391,097
	pl-doc-6.5.1.tar.gz	Mon Aug 12 20:11:45 2013	4,390,971
	pl-doc-6.5.2.tar.gz	Thu Aug 22 11:17:53 2013	4,393,983
	pl-doc-6.5.3.tar.gz	Tue Nov 19 10:47:08 2013	4,404,484
	pl-doc-6.6.0.tar.gz	Fri Nov 22 14:15:02 2013	4,327,414
	pl-doc-6.6.1.tar.gz	Fri Dec 13 14:56:48 2013	4,328,932
	pl-doc-6.6.2.tar.gz	Tue Mar 4 10:31:25 2014	4,374,000
	pl-doc-6.6.3.tar.gz	Mon Mar 17 16:16:38 2014	4,377,123
	pl-doc-6.6.4.tar.gz	Wed Mar 19 15:55:11 2014	4,377,904
	pl-doc-6.6.5.tar.gz	Fri Apr 25 14:21:44 2014	4,378,124
	pl-doc-6.6.6.tar.gz	Wed May 28 10:06:09 2014	4,378,441
	pl-doc-7.1.0.tar.gz	Fri Nov 22 14:21:54 2013	4,442,767
	pl-doc-7.1.1.tar.gz	Thu Nov 28 13:14:27 2013	4,444,764
	pl-doc-7.1.10.tar.gz	Wed Mar 19 15:55:11 2014	4,745,987
	pl-doc-7.1.11.tar.gz	Wed Apr 2 11:56:50 2014	4,750,005
	pl-doc-7.1.12.tar.gz	Wed Apr 16 14:40:39 2014	4,748,250
	pl-doc-7.1.13.tar.gz	Thu Apr 17 09:38:07 2014	4,750,900
	pl-doc-7.1.14.tar.gz	Wed May 7 08:42:49 2014	4,751,382
	pl-doc-7.1.15.tar.gz	Tue May 20 13:52:33 2014	4,752,734
	pl-doc-7.1.16.tar.gz	Wed May 28 11:34:29 2014	4,754,560
	pl-doc-7.1.17.tar.gz	Wed Jul 2 08:06:36 2014	4,754,405
	pl-doc-7.1.18.tar.gz	Thu Jul 24 13:39:35 2014	4,755,236
	pl-doc-7.1.19.tar.gz	Wed Aug 6 17:21:11 2014	4,766,474
	pl-doc-7.1.2.tar.gz	Mon Dec 9 13:02:02 2013	4,454,146
	pl-doc-7.1.20.tar.gz	Tue Aug 12 18:38:04 2014	4,779,113
	pl-doc-7.1.21.tar.gz	Sun Aug 24 12:11:09 2014	4,780,335
	pl-doc-7.1.22.tar.gz	Wed Sep 3 17:23:08 2014	4,781,503
	pl-doc-7.1.23.tar.gz	Sat Sep 20 20:08:23 2014	4,793,652
	pl-doc-7.1.24.tar.gz	Thu Oct 9 11:52:43 2014	4,972,911
	pl-doc-7.1.25.tar.gz	Mon Oct 20 08:32:57 2014	4,972,743
	pl-doc-7.1.26.tar.gz	Wed Nov 5 11:57:29 2014	4,975,649
	pl-doc-7.1.27.tar.gz	Fri Nov 28 12:43:37 2014	4,980,911
	pl-doc-7.1.28.tar.gz	Fri Dec 19 09:58:15 2014	4,980,258
	pl-doc-7.1.29.tar.gz	Thu Jan 15 15:40:09 2015	4,980,278
	pl-doc-7.1.3.tar.gz	Fri Dec 13 15:06:50 2013	4,453,957
	pl-doc-7.1.30.tar.gz	Mon Feb 9 09:49:26 2015	4,983,679
	pl-doc-7.1.31.tar.gz	Fri Feb 20 14:08:19 2015	4,990,234
	pl-doc-7.1.32.tar.gz	Fri Mar 6 21:55:03 2015	4,923,634
	pl-doc-7.1.33.tar.gz	Thu Mar 19 11:56:52 2015	4,938,567
	pl-doc-7.1.34.tar.gz	Sun Mar 29 16:06:30 2015	4,950,759
	pl-doc-7.1.35.tar.gz	Thu Apr 2 18:57:40 2015	4,950,839
	pl-doc-7.1.36.tar.gz	Mon Apr 13 09:25:52 2015	4,956,814
	pl-doc-7.1.37.tar.gz	Thu Apr 23 09:19:42 2015	4,959,917
	pl-doc-7.1.4.tar.gz	Wed Dec 18 15:30:02 2013	4,458,540
	pl-doc-7.1.5.tar.gz	Thu Jan 16 14:35:53 2014	4,465,844
	pl-doc-7.1.6.tar.gz	Fri Jan 24 16:08:08 2014	4,686,512
	pl-doc-7.1.7.tar.gz	Tue Feb 4 15:01:07 2014	4,685,619
	pl-doc-7.1.8.tar.gz	Thu Feb 13 11:58:22 2014	4,690,538
	pl-doc-7.1.9.tar.gz	Wed Feb 26 16:20:44 2014	4,739,784
	swipl-doc-7.2.0.tar.gz	Wed May 20 11:10:56 2015	4,972,159
	swipl-doc-7.2.1.tar.gz	Thu Jun 11 09:17:51 2015	4,981,707
	swipl-doc-7.2.2.tar.gz	Tue Jun 23 13:01:55 2015	4,986,699
	swipl-doc-7.2.3.tar.gz	Tue Aug 25 11:53:14 2015	4,994,756
	swipl-doc-7.3.0.tar.gz	Wed May 13 15:28:09 2015	4,962,937
	swipl-doc-7.3.1.tar.gz	Wed May 20 09:45:10 2015	4,973,244
	swipl-doc-7.3.10.tar.gz	Thu Oct 29 08:12:10 2015	4,877,454
	swipl-doc-7.3.11.tar.gz	Tue Nov 10 15:44:28 2015	4,895,695
	swipl-doc-7.3.12.tar.gz	Wed Dec 2 15:37:20 2015	4,924,218
	swipl-doc-7.3.13.tar.gz	Mon Dec 7 15:47:06 2015	4,925,309
	swipl-doc-7.3.14.tar.gz	Mon Dec 21 12:53:23 2015	4,925,362
	swipl-doc-7.3.15.tar.gz	Tue Jan 12 12:41:03 2016	4,933,919
	swipl-doc-7.3.16.tar.gz	Wed Jan 27 11:04:59 2016	4,932,189
	swipl-doc-7.3.17.tar.gz	Fri Feb 12 15:35:47 2016	4,935,784
	swipl-doc-7.3.18.tar.gz	Sat Mar 5 08:19:28 2016	4,972,863
	swipl-doc-7.3.19.tar.gz	Wed Mar 16 15:57:16 2016	4,972,888
	swipl-doc-7.3.2.tar.gz	Thu Jun 4 13:14:12 2015	4,981,947
	swipl-doc-7.3.20.tar.gz	Fri Apr 15 15:17:56 2016	4,975,976
	swipl-doc-7.3.21.tar.gz	Fri May 20 13:26:27 2016	5,000,046
	swipl-doc-7.3.22.tar.gz	Sun May 29 16:02:23 2016	5,008,893
	swipl-doc-7.3.23.tar.gz	Thu Jun 16 13:48:45 2016	5,010,820
	swipl-doc-7.3.24.tar.gz	Mon Jul 4 13:59:22 2016	5,032,548
	swipl-doc-7.3.25.tar.gz	Mon Aug 8 19:47:51 2016	5,043,867
	swipl-doc-7.3.26.tar.gz	Sat Sep 3 16:54:21 2016	5,058,595
	swipl-doc-7.3.27.tar.gz	Fri Sep 16 15:07:56 2016	5,069,022
	swipl-doc-7.3.28.tar.gz	Fri Sep 30 15:03:15 2016	5,092,564
	swipl-doc-7.3.29.tar.gz	Tue Nov 1 15:01:34 2016	5,095,173
	swipl-doc-7.3.3.tar.gz	Thu Jun 18 11:00:37 2015	4,984,541
	swipl-doc-7.3.30.tar.gz	Thu Nov 10 13:29:01 2016	5,096,983
	swipl-doc-7.3.31.tar.gz	Fri Nov 18 15:08:20 2016	5,099,735
	swipl-doc-7.3.32.tar.gz	Fri Dec 2 15:24:47 2016	5,100,997
	swipl-doc-7.3.33.tar.gz	Fri Dec 16 14:41:53 2016	5,103,603
	swipl-doc-7.3.34.tar.gz	Fri Jan 6 09:30:00 2017	5,108,102
	swipl-doc-7.3.35.tar.gz	Mon Jan 9 20:10:38 2017	5,107,542
	swipl-doc-7.3.4.tar.gz	Sun Jul 5 13:15:15 2015	4,984,582
	swipl-doc-7.3.5.tar.gz	Thu Aug 13 12:15:59 2015	4,986,193
	swipl-doc-7.3.6.tar.gz	Tue Aug 25 11:36:59 2015	4,991,573
	swipl-doc-7.3.7.tar.gz	Sun Sep 20 15:44:56 2015	4,870,879
	swipl-doc-7.3.8.tar.gz	Fri Oct 2 11:24:17 2015	4,874,054
	swipl-doc-7.3.9.tar.gz	Mon Oct 12 14:59:15 2015	4,874,301
	swipl-doc-7.4.0-rc1.tar.gz	Mon Jan 23 10:19:45 2017	5,105,949
	swipl-doc-7.4.0-rc2.tar.gz	Fri Feb 10 13:01:44 2017	5,108,777
	swipl-doc-7.4.1.tar.gz	Thu Mar 2 21:10:17 2017	5,104,059
	swipl-doc-7.4.2.tar.gz	Wed Apr 19 08:53:38 2017	5,104,120
	swipl-doc-7.5.0.tar.gz	Sun Jan 22 15:04:00 2017	5,108,932
	swipl-doc-7.5.1.tar.gz	Fri Feb 10 13:00:21 2017	5,111,514
	swipl-doc-7.5.10.tar.gz	Mon Jun 26 14:00:45 2017	5,241,520
	swipl-doc-7.5.11.tar.gz	Tue Jul 11 12:54:19 2017	5,243,850
	swipl-doc-7.5.12.tar.gz	Mon Aug 7 13:11:44 2017	5,252,085
	swipl-doc-7.5.13.tar.gz	Fri Aug 18 11:32:35 2017	5,256,209
	swipl-doc-7.5.14.tar.gz	Fri Sep 1 09:52:49 2017	5,257,165
	swipl-doc-7.5.15.tar.gz	Tue Sep 12 19:21:42 2017	5,264,075
	swipl-doc-7.5.2.tar.gz	Thu Mar 9 19:26:26 2017	5,115,287
	swipl-doc-7.5.3.tar.gz	Sun Apr 2 13:26:22 2017	5,116,183
	swipl-doc-7.5.4.tar.gz	Mon Apr 24 07:54:32 2017	5,205,411
	swipl-doc-7.5.5.tar.gz	Fri Apr 28 19:37:32 2017	5,204,991
	swipl-doc-7.5.6.tar.gz	Fri May 12 10:00:54 2017	5,204,636
	swipl-doc-7.5.7.tar.gz	Wed May 24 09:15:36 2017	5,211,016
	swipl-doc-7.5.8.tar.gz	Fri Jun 9 12:06:31 2017	5,216,156
	swipl-doc-7.5.9.tar.gz	Thu Jun 15 17:54:33 2017	5,221,084
	swipl-doc-7.6.0-rc1.tar.gz	Wed Sep 13 15:24:37 2017	5,258,337
	swipl-doc-7.6.0-rc2.tar.gz	Wed Sep 27 09:04:20 2017	5,258,573
	swipl-doc-7.6.0.tar.gz	Tue Oct 10 19:30:50 2017	5,266,005
	swipl-doc-7.6.1.tar.gz	Sun Nov 5 11:18:41 2017	5,267,941
	swipl-doc-7.6.2.tar.gz	Thu Nov 23 14:33:44 2017	5,268,039
	swipl-doc-7.6.3.tar.gz	Wed Nov 29 09:55:26 2017	5,273,898
	swipl-doc-7.6.4.tar.gz	Fri Jan 12 13:15:44 2018	5,269,952
	swipl-doc-7.7.0.tar.gz	Wed Sep 27 09:42:03 2017	5,265,925
	swipl-doc-7.7.1.tar.gz	Fri Oct 6 13:48:08 2017	5,266,356
	swipl-doc-7.7.10.tar.gz	Sun Feb 18 11:02:02 2018	5,284,857
	swipl-doc-7.7.11.tar.gz	Thu Mar 22 22:09:42 2018	5,354,048
	swipl-doc-7.7.12.tar.gz	Mon Apr 9 17:54:48 2018	5,354,670
	swipl-doc-7.7.13.tar.gz	Mon Apr 30 14:57:03 2018	5,360,693
	swipl-doc-7.7.14.tar.gz	Mon May 14 14:04:38 2018	5,361,401
	swipl-doc-7.7.15.tar.gz	Fri Jun 1 13:37:58 2018	5,201,380
	swipl-doc-7.7.16.tar.gz	Tue Jun 12 15:46:55 2018	5,207,041
	swipl-doc-7.7.17.tar.gz	Mon Jul 2 14:52:49 2018	5,292,875
	swipl-doc-7.7.18.tar.gz	Tue Jul 10 19:36:15 2018	5,292,752
	swipl-doc-7.7.19.tar.gz	Sun Aug 26 14:01:04 2018	5,294,480
	swipl-doc-7.7.2.tar.gz	Wed Nov 1 14:33:29 2017	5,278,181
	swipl-doc-7.7.20.tar.gz	Fri Oct 26 13:32:18 2018	4,798,756
	swipl-doc-7.7.21.tar.gz	Tue Nov 6 19:28:26 2018	4,798,646
	swipl-doc-7.7.3.tar.gz	Thu Nov 23 13:46:48 2017	5,278,458
	swipl-doc-7.7.4.tar.gz	Wed Nov 29 09:41:50 2017	5,281,868
	swipl-doc-7.7.5.tar.gz	Tue Dec 12 10:04:47 2017	5,281,152
	swipl-doc-7.7.6.tar.gz	Wed Dec 20 14:53:09 2017	5,282,198
	swipl-doc-7.7.7.tar.gz	Thu Dec 21 12:02:48 2017	5,282,342
	swipl-doc-7.7.8.tar.gz	Fri Jan 12 12:29:45 2018	5,283,924
	swipl-doc-7.7.9.tar.gz	Tue Feb 6 20:22:48 2018	5,283,072