Add Changelog file for publishing opam package

inQWIRE · Jul 31, 2022 · 7ce467b · 7ce467b
1 parent 3d564f6
commit 7ce467b
Showing 1 changed file with 36 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -0,0 +1,36 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+## [v1.1.0] - 2022-07-31
+
+Initial release on Coq opam repo.
+
+<!--
+## [Unreleased]
+
+### Added
+
+- Added a new feature
+
+### Changed
+
+- Changed an existing functionality
+
+### Deprecated
+
+- Deprecated a soon-to-be removed feature
+
+### Removed
+
+- Removed a feature
+
+### Fixed
+
+- Fixed a bug
+
+### Security
+
+- Use in case of vulnerabilities
+
+-->