Na}{

Are you sure you want to delete the file srfi-19.go?

Name	Size	Permission
srfi-4	---	0755
srfi-9	---	0755
srfi-1.go	42396 bytes	0644
srfi-10.go	1875 bytes	0644
srfi-11.go	7524 bytes	0644
srfi-111.go	15959 bytes	0644
srfi-13.go	2938 bytes	0644
srfi-14.go	2503 bytes	0644
srfi-16.go	452 bytes	0644
srfi-17.go	4599 bytes	0644
srfi-18.go	16739 bytes	0644
srfi-19.go	136955 bytes	0644
srfi-2.go	635 bytes	0644
srfi-26.go	6540 bytes	0644
srfi-27.go	18985 bytes	0644
srfi-28.go	760 bytes	0644
srfi-31.go	2252 bytes	0644
srfi-34.go	5003 bytes	0644
srfi-35.go	18148 bytes	0644
srfi-37.go	30038 bytes	0644
srfi-38.go	8120 bytes	0644
srfi-39.go	1348 bytes	0644
srfi-4.go	22803 bytes	0644
srfi-41.go	100462 bytes	0644
srfi-42.go	102900 bytes	0644
srfi-43.go	64830 bytes	0644
srfi-45.go	32624 bytes	0644
srfi-6.go	1143 bytes	0644
srfi-60.go	2128 bytes	0644
srfi-64.go	176044 bytes	0644
srfi-67.go	69497 bytes	0644
srfi-69.go	46781 bytes	0644
srfi-8.go	619 bytes	0644
srfi-88.go	1404 bytes	0644
srfi-9.go	29630 bytes	0644
srfi-98.go	1283 bytes	0644