Пакет splint: Файлы

Права
Путь
Размер
Дата
lrwxrwxrwx/usr/bin/lclint —> splint6.0 B17 апреля 2013 г. 1:44
-rwxr-xr-x/usr/bin/splint1.7 MB17 апреля 2013 г. 1:43
drwxr-xr-x/usr/share/doc/splint-3.1.2160.0 B17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/doc/splint-3.1.2/COPYRIGHT908.0 B28 июля 2008 г. 21:05
-rw-r--r--/usr/share/doc/splint-3.1.2/README459.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/doc/splint-3.1.2/faq.html6.2 KB28 июля 2008 г. 21:04
-rwxr-xr-x/usr/share/doc/splint-3.1.2/install.html3.8 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/doc/splint-3.1.2/manual.html838.4 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/doc/splint-3.1.2/manual.ps.bz21.0 MB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/man/man1/splint.1.gz3.3 KB17 апреля 2013 г. 1:42
drwxr-xr-x/usr/share/splint80.0 B17 апреля 2013 г. 1:44
drwxr-xr-x/usr/share/splint/imports600.0 B17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/imports/assert.lcl51.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/assert.lcs4.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/ctype.lcl936.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/ctype.lcs4.7 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/errno.lcl1.1 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/errno.lcs13.9 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/limits.lcl2.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/limits.lcs12.3 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/locale.lcl772.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/locale.lcs16.5 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/math.lcl2.5 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/math.lcs22.9 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/setjmp.lcl2.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/setjmp.lcs22.2 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/signal.lcl3.7 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/signal.lcs32.6 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdarg.lcl477.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdarg.lcs29.7 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdio.lcl3.1 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdio.lcs16.6 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdlib.lcl3.2 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/stdlib.lcs11.8 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/string.lcl1.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/string.lcs41.3 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/strings.lcl1.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/strings.lcs41.3 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/time.lcl1.4 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/imports/time.lcs52.4 KB28 июля 2008 г. 21:04
drwxr-xr-x/usr/share/splint/lib500.0 B17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/CTrait.syms2.7 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/CTraitGen.lcl36.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/bool.h799.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/file.mts434.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/file.xh1002.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/filerw.mts784.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/filerw.xh317.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/lclinit.lci778.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/linux.h8.2 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/lslinit.lsi901.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/posix.h23.1 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/posix.lcd51.2 KB17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/posixstrict.lcd50.6 KB17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/standard.h38.3 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/standard.lcd35.1 KB17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/standardstrict.lcd34.4 KB17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/stdio.h5.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/stdlib.h7.0 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/tainted.mts453.0 B28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/tainted.xh2.2 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/unix.h59.5 KB28 июля 2008 г. 21:04
-rw-r--r--/usr/share/splint/lib/unix.lcd99.6 KB17 апреля 2013 г. 1:44
-rw-r--r--/usr/share/splint/lib/unixstrict.lcd98.7 KB17 апреля 2013 г. 1:44