Package list: page 71
- 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
- courier-imap
- courier-unicode
- couriergraph
- couriergrey
- courierpassd
- courierpasswd
- courieruserinfo
- cournol
- courtney
- cov-core
- covered
- covtobed
- cowbell
- cowdancer
- cowpatty
- cowsay