Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | {"name":"ats","origin":"lang/ats","version":"0.2.9_1","comment":"Language·with·a·type·system·rooted·in·the·Applied·Type·System","maintainer":"ports@FreeBSD.org","www":"http://www.ats-lang.org/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":6209622,"licenselogic":"single","desc":"ATS·is·a·statically·typed·programming·language\nthat·unifies·implementation·with·formal·specification.\nIt·is·equipped·with·a·highly·expressive·type·system·rooted·in\nthe·framework·Applied·Type·System,·which·gives·the·language·its·name.\nIn·particular,·both·dependent·types·and·linear·types·are·available·in·ATS.\n\nWWW:·http://www.ats-lang.org/","deps":{"gmp":{"origin":"math/gmp","version":"5.1.3_3"},"pcre":{"origin":"devel/pcre","version":"8.38_1"}},"categories":["lang"],"shlibs_required":["libgmp.so.10"],"options":{"DOCS":"on","EXAMPLES":"on","GMP":"on","PCRE":"on"},"files":{"/usr/local/bin/atscc":"1$a93f15223a61b5df9a1bca2d3f3c127fefa06e8ffb6fdc2be281346cf1c8cbd1","/usr/local/bin/atsdoc":"1$a93·✂ | 1 | {"name":"ats","origin":"lang/ats","version":"0.2.9_1","comment":"Language·with·a·type·system·rooted·in·the·Applied·Type·System","maintainer":"ports@FreeBSD.org","www":"http://www.ats-lang.org/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":6209622,"licenselogic":"single","desc":"ATS·is·a·statically·typed·programming·language\nthat·unifies·implementation·with·formal·specification.\nIt·is·equipped·with·a·highly·expressive·type·system·rooted·in\nthe·framework·Applied·Type·System,·which·gives·the·language·its·name.\nIn·particular,·both·dependent·types·and·linear·types·are·available·in·ATS.\n\nWWW:·http://www.ats-lang.org/","deps":{"gmp":{"origin":"math/gmp","version":"5.1.3_3"},"pcre":{"origin":"devel/pcre","version":"8.38_1"}},"categories":["lang"],"shlibs_required":["libgmp.so.10"],"options":{"DOCS":"on","EXAMPLES":"on","GMP":"on","PCRE":"on"},"files":{"/usr/local/bin/atscc":"1$a93f15223a61b5df9a1bca2d3f3c127fefa06e8ffb6fdc2be281346cf1c8cbd1","/usr/local/bin/atsdoc":"1$a93·✂ |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | ----------···0········0········0····41512·2016-06-1 | 1 | ----------···0········0········0····41512·2016-06-11·21:11:27.000000·/ |
2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// | 2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// |
3 | -rw-r--r--···0········0········0·····3360·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fbasics_5fsta_2esats.o | 3 | -rw-r--r--···0········0········0·····3360·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fbasics_5fsta_2esats.o |
4 | -rw-r--r--···0········0········0·····1520·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fbasics_5fdyn_2esats.o | 4 | -rw-r--r--···0········0········0·····1520·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fbasics_5fdyn_2esats.o |
5 | -rw-r--r--···0········0········0·····4288·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fats_5fmain_5fprelude_2edats.o | 5 | -rw-r--r--···0········0········0·····4288·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fats_5fmain_5fprelude_2edats.o |
6 | -rw-r--r--···0········0········0·····3312·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fDATS_2fbasics_2edats.o | 6 | -rw-r--r--···0········0········0·····3312·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fDATS_2fbasics_2edats.o |
7 | -rw-r--r--···0········0········0·····2216·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fDATS_2fbool_2edats.o | 7 | -rw-r--r--···0········0········0·····2216·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fDATS_2fbool_2edats.o |
8 | -rw-r--r--···0········0········0·····1528·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fSATS_2fextern_2esats.o | 8 | -rw-r--r--···0········0········0·····1528·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2fprelude_2fSATS_2fextern_2esats.o |
Offset 1, 5 lines modified | Offset 1, 5 lines modified | ||
1 | ----------···0········0········0·····3064·2016-06-1 | 1 | ----------···0········0········0·····3064·2016-06-11·21:11:32.000000·/ |
2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// | 2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// |
3 | -rw-r--r--···0········0········0·····1976·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2flexing_2esats.o | 3 | -rw-r--r--···0········0········0·····1976·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2flexing_2esats.o |
4 | -rw-r--r--···0········0········0····20664·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2flexing_2edats.o | 4 | -rw-r--r--···0········0········0····20664·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2flexing_2edats.o |
5 | -rw-r--r--···0········0········0·····6328·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2ftables_2edats.o | 5 | -rw-r--r--···0········0········0·····6328·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2flex_2ftables_2edats.o |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | ----------···0········0········0·····2956·2016-06-1 | 1 | ----------···0········0········0·····2956·2016-06-11·21:12:22.000000·/ |
2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// | 2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// |
3 | -rw-r--r--···0········0········0·····1520·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_2esats.o | 3 | -rw-r--r--···0········0········0·····1520·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_2esats.o |
4 | -rw-r--r--···0········0········0·····5184·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_2edats.o | 4 | -rw-r--r--···0········0········0·····5184·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_2edats.o |
5 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_5fuplock_2esats.o | 5 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_5fuplock_2esats.o |
6 | -rw-r--r--···0········0········0·····3384·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_5fuplock_2edats.o | 6 | -rw-r--r--···0········0········0·····3384·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_5fuplock_2edats.o |
7 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_5fupbarr_2esats.o | 7 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fSATS_2fpthread_5fupbarr_2esats.o |
8 | -rw-r--r--···0········0········0·····4104·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_5fupbarr_2edats.o | 8 | -rw-r--r--···0········0········0·····4104·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibc_2fDATS_2fpthread_5fupbarr_2edats.o |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | ----------···0········0········0····12986·2016-06-1 | 1 | ----------···0········0········0····12986·2016-06-11·21:12:08.000000·/ |
2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// | 2 | ----------···0········0········0········0·1970-01-01·00:00:00.000000·// |
3 | -rw-r--r--···0········0········0·····4872·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2fgeneral_2esats.o | 3 | -rw-r--r--···0········0········0·····4872·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2fgeneral_2esats.o |
4 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2farray_2esats.o | 4 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2farray_2esats.o |
5 | -rw-r--r--···0········0········0·····3264·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fDATS_2farray_2edats.o | 5 | -rw-r--r--···0········0········0·····3264·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fDATS_2farray_2edats.o |
6 | -rw-r--r--···0········0········0·····1800·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2farray2_2esats.o | 6 | -rw-r--r--···0········0········0·····1800·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2farray2_2esats.o |
7 | -rw-r--r--···0········0········0·····2752·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fDATS_2farray2_2edats.o | 7 | -rw-r--r--···0········0········0·····2752·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fDATS_2farray2_2edats.o |
8 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2fbool_2esats.o | 8 | -rw-r--r--···0········0········0·····1552·1970-01-01·00:00:00.000000·_2fwrkdirs_2fusr_2fports_2flang_2fats_2fwork_2fats_2dlang_2danairiats_2d0_2e2_2e9_2flibats_2fsmlbas_2fSATS_2fbool_2esats.o |