@@ -76,9 +76,23 @@ Data-files: idrisdoc/styles.css
7676 rts/mini-gmp.h
7777 rts/libtest.c
7878
79+Extra-doc-files:
80+ CHANGELOG
81+ CITATION.md
82+ CONTRIBUTING.md
83+ CONTRIBUTORS
84+ README.md
85+ idris-tutorial.pdf
86+ man/idris.1
87+ samples/effects/*.idr
88+ samples/misc/*.idr
89+ samples/misc/*.lidr
90+ samples/tutorial/*.idr
91+
7992Extra-source-files:
8093 Makefile
8194 config.mk
95+ stack.yaml
8296
8397 rts/*.c
8498 rts/*.h
@@ -745,6 +759,22 @@ Extra-source-files:
745759 test/docs003/*.idr
746760 test/docs003/expected
747761
762+ benchmarks/ALL
763+ benchmarks/*.pl
764+ benchmarks/README
765+
766+ benchmarks/fasta/fasta.idr
767+ benchmarks/fasta/fasta.ipkg
768+
769+ benchmarks/pidigits/pidigits.idr
770+ benchmarks/pidigits/pidigits.ipkg
771+
772+ benchmarks/quasigroups/board
773+ benchmarks/quasigroups/*.idr
774+ benchmarks/quasigroups/qgsolve.ipkg
775+
776+ benchmarks/trivial/sortvec.idr
777+ benchmarks/trivial/sortvec.ipkg
748778
749779source-repository head
750780 type: git