diff options
Diffstat (limited to 'lang/seed7/pkg-plist')
| -rw-r--r-- | lang/seed7/pkg-plist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index 7cbcc9df7023..fd7de2002db5 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -116,6 +116,7 @@ lib/seed7/lib/file.s7i lib/seed7/lib/filebits.s7i lib/seed7/lib/filesys.s7i lib/seed7/lib/fileutil.s7i +lib/seed7/lib/fixarray.s7i lib/seed7/lib/float.s7i lib/seed7/lib/font.s7i lib/seed7/lib/font8x8.s7i @@ -182,12 +183,12 @@ lib/seed7/lib/process.s7i lib/seed7/lib/progs.s7i lib/seed7/lib/propertyfile.s7i lib/seed7/lib/rational.s7i -lib/seed7/lib/readjson.s7i lib/seed7/lib/ref_list.s7i lib/seed7/lib/reference.s7i lib/seed7/lib/reverse.s7i lib/seed7/lib/rpm.s7i lib/seed7/lib/scanfile.s7i +lib/seed7/lib/scanjson.s7i lib/seed7/lib/scanstri.s7i lib/seed7/lib/seed7_05.s7i lib/seed7/lib/set.s7i |