[new release] beluga (1.1.2)

CHANGES:

### Added

- Added C. Sano, R. Kavanagh and B. Pientka's artifact for "Mechanizing Session-Types Using a Structural View" as a case study (Beluga-lang/Beluga#271).

### Fixed

- Support postponed fixity pragmas in modules.
- The hole `_` in the LF term `\x._` is parsed as a wildcard instead of as an identifier.
- Shadowed bindings in a module are no longer brought into scope when the module is opened.
- Support postponed fixity pragmas in Harpoon sessions.

packages/beluga/beluga.1.1.2/opam

@@ -0,0 +1,56 @@
+opam-version: "2.0"
+synopsis:
+ "Implementation of contextual modal logic for reasoning with higher-order abstract syntax"
+maintainer: ["[email protected]"]
+authors: [
+ "Brigitte Pientka"
+ "Joshua Dunfield"
+ "Andrew Cave"
+ "Jacob Thomas Errington"
+ "Junyoung Clare Jang"
+ "Marc-Antoine Ouimet"
+]
+license: "GPL-3.0-only"
+homepage: "http://complogic.cs.mcgill.ca/beluga/"
+bug-reports: "https:/Beluga-lang/Beluga/issues"
+depends: [
+ "dune" {>= "3.7"}
+ "dune-build-info" {>= "3.7.0"}
+ "extlib" {>= "1.7.9"}
+ "gen" {>= "1.0"}
+ "linenoise" {>= "1.4.0"}
+ "ocaml" {>= "4.14"}
+ "sedlex" {>= "2.5"}
+ "omd" {>= "1.3.2"}
+ "uri" {>= "4.2.0"}
+ "ocamlformat" {= "0.25.1" & with-test}
+ "yojson" {>= "2.0.2" & with-test}
+ "ounit2" {>= "2.2.6" & with-test}
+ "bisect_ppx" {>= "2.8.1" & with-test}
+ "odoc" {>= "2.2.0" & with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]
+dev-repo: "git+https:/Beluga-lang/Beluga.git"
+run-test: [make "test"]
+url {
+ src:
+ "https:/Beluga-lang/Beluga/releases/download/v1.1.2/beluga-1.1.2.tbz"
+ checksum: [
+ "sha256=b212cd25f28487591e7eb08207f31c45c1329cdd5f76544aca00904089ed8718"
+ "sha512=2e1e029912a6352733a44689a38cc9161a49c870990930e4432e48c2e376902b18bd5f21d64db936dfb0574fffb69ed17eecde2823f2295fc7bb7255b81638aa"
+ ]
+}
+x-commit-hash: "36e541d7a7e8a415795ce1587d26e05ffaf60041"