Package list: page 70
- coq-extructures
- coq-float
- coq-gappa
- coq-hammer
- coq-hierarchy-builder
- coq-hott
- coq-interval
- coq-iris
- coq-libhyps
- coq-math-classes
- coq-menhirlib
- coq-mtac2
- coq-quickchick
- coq-record-update
- coq-reduction-effects
- coq-reglang
- coq-relation-algebra
- coq-serapi
- coq-simple-io
- coq-stdpp
- coq-unicoq
- coq-unimath
- coqeal
- coqprime
- coquelicot
- core++
- core-async-clojure
- core-cache-clojure
- core-match-clojure
- core-memoize-clojure
- core-network
- core-specs-alpha-clojure
- coreapi
- coreboot
- corectrl
- corekeeper
- corel-util
- coreschema
- coreutils
- coreutils-from
- corewars
- coriander
- corkscrew
- corosync
- corosync-qdevice
- corrosion
- corsix-th
- cortado
- cortina
- cosign
- cost
- cothreads
- coturn
- couchapp
- couchdb
- countrychooser
- countrycodes
- courier
- courier-authlib
- courier-filter-perl