Rename coq-bits repo to bits

.travis.yml

@@ -63,3 +63,4 @@ matrix:
     - PACKAGE=coq-bits.dev
     - NJOBS=2
     <<: *OPAM
+

README.md

@@ -1,13 +1,13 @@
-# Coq Bits
+# Bits
 
 [![Travis][travis-shield]][travis-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Gitter][gitter-shield]][gitter-link]
 [![DOI][doi-shield]][doi-link]
 
-[travis-shield]: https://travis-ci.com/coq-community/coq-bits.svg?branch=master
-[travis-link]: https://travis-ci.com/coq-community/coq-bits/builds
+[travis-shield]: https://travis-ci.com/coq-community/bits.svg?branch=master
+[travis-link]: https://travis-ci.com/coq-community/bits/builds
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
@@ -28,9 +28,9 @@ axiomatization and extraction to OCaml native integers
 ## Meta
 
 - Author(s):
-  - Andrew Kennedy <[email protected]> (initial)
-  - Arthur Blot <[email protected]> (initial)
-  - Pierre-Évariste Dagand <[email protected]> (initial)
+  - Andrew Kennedy (initial)
+  - Arthur Blot (initial)
+  - Pierre-Évariste Dagand (initial)
 - Coq-community maintainer(s):
   - Anton Trunov ([**@anton-trunov**](https://github.com/anton-trunov))
 - License: [Apache License 2.0](LICENSE)
@@ -45,7 +45,7 @@ axiomatization and extraction to OCaml native integers
 
 ## Building and installation instructions
 
-The easiest way to install the latest released version of Coq Bits
+The easiest way to install the latest released version of Bits
 is via [OPAM](https://opam.ocaml.org/doc/Install.html):
 
 ```shell
@@ -56,8 +56,8 @@ opam install coq-bits
 To instead build and install manually, do:
 
 ``` shell
-git clone https://github.com/coq-community/coq-bits
-cd coq-bits
+git clone https://github.com/coq-community/bits
+cd bits
 make   # or make -j <number-of-cores-on-your-machine>
 make install
 ```

coq-bits.opam

@@ -2,9 +2,9 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 version: "dev"
 
-homepage: "https://github.com/coq-community/coq-bits"
-dev-repo: "git+https://github.com/coq-community/coq-bits.git"
-bug-reports: "https://github.com/coq-community/coq-bits/issues"
+homepage: "https://github.com/coq-community/bits"
+dev-repo: "git+https://github.com/coq-community/bits.git"
+bug-reports: "https://github.com/coq-community/bits/issues"
 license: "Apache-2.0"
 
 synopsis: "A bit vector library"

default.nix

@@ -13,7 +13,7 @@ with coqPackages;
 
 pkgs.stdenv.mkDerivation {
 
-  name = "coq-bits";
+  name = "bits";
 
   propagatedBuildInputs = [
     coq

meta.yml

@@ -1,6 +1,6 @@
 ---
-fullname: Coq Bits
-shortname: coq-bits
+fullname: Bits
+shortname: bits
 organization: coq-community
 community: true
 travis: true
@@ -37,8 +37,6 @@ maintainers:
 - name: Anton Trunov
   nickname: anton-trunov
 
-opam-name: coq-bits
-
 opam-file-maintainer: [email protected]
 
 opam-file-version: dev