Skip to content

Commit

Permalink
Update CITATION.cff
Browse files Browse the repository at this point in the history
  • Loading branch information
L-TChen committed Feb 12, 2024
1 parent 282b4fa commit b6cf40a
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions CITATION.cff
Original file line number Diff line number Diff line change
@@ -1,9 +1,8 @@
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "The Agda Team"
given-names: ""
- name: "The Agda Team"
title: "Agda"
version: 2.6.3
license-url: "https://agda.readthedocs.io/en/v2.6.3/team.html"
url: "https://agda.readthedocs.io/en/v2.6.3/index.html"
version: 2.6.5
license-url: "https://agda.readthedocs.io/en/latest/team.html"
url: "https://agda.readthedocs.io/en/latest/index.html"

0 comments on commit b6cf40a

Please sign in to comment.