diff --git a/.travis.yml b/.travis.yml
index 14a4a35..48f13de 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -63,3 +63,4 @@ matrix:
     - PACKAGE=coq-bits.dev
     - NJOBS=2
     <<: *OPAM
+
diff --git a/README.md b/README.md
index ad1c3ab..5805e5e 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Coq Bits
+# Bits
 
 [![Travis][travis-shield]][travis-link]
 [![Contributing][contributing-shield]][contributing-link]
@@ -6,8 +6,8 @@
 [![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 <akenn@microsoft.com> (initial)
-  - Arthur Blot <arthur.blot@ens-lyon.fr> (initial)
-  - Pierre-Évariste Dagand <pierre-evariste.dagand@lip6.fr> (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
 ```
diff --git a/coq-bits.opam b/coq-bits.opam
index 48d8b74..8623846 100644
--- a/coq-bits.opam
+++ b/coq-bits.opam
@@ -2,9 +2,9 @@ opam-version: "2.0"
 maintainer: "anton.a.trunov@gmail.com"
 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"
diff --git a/default.nix b/default.nix
index dccfff2..af13eb9 100644
--- a/default.nix
+++ b/default.nix
@@ -13,7 +13,7 @@ with coqPackages;
 
 pkgs.stdenv.mkDerivation {
 
-  name = "coq-bits";
+  name = "bits";
 
   propagatedBuildInputs = [
     coq
diff --git a/meta.yml b/meta.yml
index 6db8343..98ec747 100644
--- a/meta.yml
+++ b/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: anton.a.trunov@gmail.com
 
 opam-file-version: dev