From bf635b61c78f655960f90f30c6c8842888827bfe Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 21:12:55 +0100
Subject: [PATCH] minimal licence tag

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Cargo.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index 258e3ca..1da34b3 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,6 +2,9 @@
 name = "z3-treefoil"
 version = "0.1.0"
 edition = "2021"
+licence = "GPL-3.0-opr-later"
+authors = ["Ian Jackson <ijackson@chiark.greenend.org.uk>"]
+license = "GPL-3.0-or-later"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
-- 
2.30.2