diff options
| author | Niols <niols@niols.fr> | 2023-05-03 11:56:49 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-09-21 10:57:54 +0200 |
| commit | 702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688 (patch) | |
| tree | ddcc06b85d063d84d7471daf5fa7386c7ae6fcea /pkgs/development/coq-modules/flocq/default.nix | |
| parent | 8ace65ff3d7696b7a03ea9583b39df27b3153984 (diff) | |
| download | nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar.gz nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar.bz2 nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar.lz nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar.xz nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.tar.zst nixpkgs-702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688.zip | |
licenses: add OCaml LGPL Linking Exception
Diffstat (limited to 'pkgs/development/coq-modules/flocq/default.nix')
0 files changed, 0 insertions, 0 deletions