Add versioning to .agda-lib file (#1312)

neosimsim · web-flow · commit 7ad6e06f697d · 2020-10-14T21:23:08.000+08:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -55,3 +55,5 @@ Other minor additions
   IsLatticeMonomorphism  (⟦_⟧ : A → B) : Set (a ⊔ ℓ₁ ⊔ ℓ₂)
   IsLatticeIsomorphism   (⟦_⟧ : A → B) : Set (a ⊔ b ⊔ ℓ₁ ⊔ ℓ₂)
   ```
+
+* Add version to library name
diff --git a/notes/release-guide.txt b/notes/release-guide.txt
@@ -9,6 +9,8 @@ procedure should be followed:
 
 * Update `lib.cabal` version to `X.Y`.
 
+* Update the version in standard-library.agda-lib to `X.Y`
+
 * Update `notes/installation-guide.txt`
 
 * Update `CHANGELOG.md`.
diff --git a/standard-library.agda-lib b/standard-library.agda-lib
@@ -1,2 +1,2 @@
-name: standard-library
+name: standard-library-1.5
 include: src
