Bump cabal-version in the remaining .cabal files and update BSD3 name
[cabal.git] / solver-benchmarks / 
tree49dc705a05fcf46717756b0291d0867b7ce40be0
drwxr-xr-x   ..
-rw-r--r-- 16783 HackageBenchmark.hs
-rw-r--r-- 1661 LICENSE
-rw-r--r-- 765 README.md
drwxr-xr-x - main
-rw-r--r-- 2299 pkglist.txt
-rw-r--r-- 1620 solver-benchmarks.cabal
drwxr-xr-x - tests