@@ -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
@@ -718,6 +732,22 @@ Extra-source-files:
718732 test/docs003/*.idr
719733 test/docs003/expected
720734
735+ benchmarks/ALL
736+ benchmarks/*.pl
737+ benchmarks/README
738+
739+ benchmarks/fasta/fasta.idr
740+ benchmarks/fasta/fasta.ipkg
741+
742+ benchmarks/pidigits/pidigits.idr
743+ benchmarks/pidigits/pidigits.ipkg
744+
745+ benchmarks/quasigroups/board
746+ benchmarks/quasigroups/*.idr
747+ benchmarks/quasigroups/qgsolve.ipkg
748+
749+ benchmarks/trivial/sortvec.idr
750+ benchmarks/trivial/sortvec.ipkg
721751
722752source-repository head
723753 type: git