Package list: page 70
- controlaula
- controlsfx
- conv-tools
- conversant-disruptor
- converseen
- convertall
- convertdate
- convirt
- convlit
- convmv
- convoy
- cook
- cookidoo-api
- cookie-monster
- cookiecutter
- cookietool
- cool-retro-term
- cooledit
- coolkey
- coolmail
- coot
- copher
- copy-rename-maven-plugin
- copyfs
- copyq
- copyright-update
- coq
- coq-bignums
- coq-corn
- coq-deriving
- coq-doc
- coq-dpdgraph
- coq-elpi
- coq-equations
- coq-ext-lib
- 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