Logo
Explore Help
Sign In
gador/nixpkgs
1
0
Fork 0
You've already forked nixpkgs
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
e85de2aadbc5dc06fdc96b658fffcbade40cd88d
nixpkgs/pkgs/development/coq-modules/serapi
T
History
K900 59bccda153 Revert "stdenv: add meta.repository field"
This reverts commit 7e1443abbb.
2024-03-30 17:19:21 +03:00
..
8.10.0+0.7.2.patch
…
8.11.0+0.11.1.patch
…
8.12.0+0.12.1.patch
…
default.nix
Revert "stdenv: add meta.repository field"
2024-03-30 17:19:21 +03:00
janestreet-0.15.patch
…
janestreet-0.16.patch
ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)
2023-08-31 07:46:20 +02:00
Powered by Gitea Version: 1.26.1 Page: 1032ms Template: 2ms
catppuccin-mocha-mauve
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API