this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix licences. Fixup

Signed-off-by: Kakadu <Kakadu@pm.me>

Kakadu cff10e62 3038f694

+5 -4
+1 -1
packages/OCanren-ppx/OCanren-ppx.0.3.0/opam
··· 26 26 "Dmitrii Kosarev https://github.com/Kakadu" 27 27 "JetBrains Research https://research.jetbrains.org" 28 28 ] 29 - license: "LGPL-2.1" 29 + license: "LGPL-2.1-only" 30 30 homepage: "https://github.com/JetBrains-Research/OCanren" 31 31 bug-reports: "https://github.com/JetBrains-Research/OCanren/issues" 32 32 depends: [
+1 -1
packages/OCanren/OCanren.0.3.0~alpha1/opam
··· 17 17 "Petr Lozov https://github.com/Lozov-Petr" 18 18 "JetBrains Research https://research.jetbrains.org" 19 19 ] 20 - license: "LGPL-2.1" 20 + license: "LGPL-2.1-only" 21 21 homepage: "https://github.com/JetBrains-Research/OCanren" 22 22 bug-reports: "https://github.com/JetBrains-Research/OCanren/issues" 23 23 depends: [
+2 -1
packages/noCanren/noCanren.0.2.0/opam
··· 5 5 authors: ["https://github.com/Lozov-Petr" "https://github.com/Kakadu" "https://github.com/dboulytchev"] 6 6 homepage: "https://github.com/Lozov-Petr/noCanren" 7 7 bug-reports: "https://github.com/Lozov-Petr/noCanren/issues" 8 + license: "LGPL-2.1-or-later" 8 9 9 10 depends: [ 10 11 "ocaml" {= "4.10.1" } ··· 29 30 ] 30 31 } 31 32 32 - flags: [ deprecated] 33 + flags: [ deprecated ] 33 34 x-maintenance-intent: [ "(latest)" ]
+1 -1
packages/noCanren/noCanren.0.3.0~alpha1/opam
··· 9 9 ] 10 10 homepage: "https://github.com/Lozov-Petr/noCanren" 11 11 bug-reports: "https://github.com/Lozov-Petr/noCanren/issues" 12 - license: "LGPL-2.1" 12 + license: "LGPL-2.1-or-later" 13 13 14 14 depends: [ 15 15 "dune" {>= "2.8"}