@@ -84,26 +84,13 @@ description:
8484
8585extra-source-files:
8686 README.markdown
87− release-notes.markdown
88− benchmarks/AesonEncode.hs
89− benchmarks/AesonParse.hs
90− benchmarks/JsonParse.hs
87+ benchmarks/*.hs
88+ benchmarks/*.py
9189 benchmarks/Makefile
92− benchmarks/ReadFile.hs
93− benchmarks/parse.py
94− benchmarks/json-data/example.json
95− benchmarks/json-data/integers.json
96− benchmarks/json-data/jp10.json
97− benchmarks/json-data/jp50.json
98− benchmarks/json-data/jp100.json
99− benchmarks/json-data/numbers.json
100− benchmarks/json-data/twitter1.json
101− benchmarks/json-data/twitter10.json
102− benchmarks/json-data/twitter20.json
103− benchmarks/json-data/twitter50.json
104− benchmarks/json-data/twitter100.json
105− tests/Properties.hs
90+ benchmarks/json-data/*.json
10691 examples/*.hs
92+ release-notes.markdown
93+ tests/Properties.hs
10794
10895flag developer
10996 description: operate in developer mode