···120120 };
121121 };
122122123123+ disabledTests = [
124124+ # cause by authlib being too up-to-date for this version of canaille
125125+ # see: https://github.com/NixOS/nixpkgs/issues/389861#issuecomment-2726361949
126126+ # FIX: update and see if this is fixed
127127+ "test_invalid_client[ldap_backend]"
128128+ "test_invalid_client[memory_backend]"
129129+ "test_invalid_client[sql_backend]"
130130+ "test_password_reset[sql_backend]"
131131+ ];
132132+123133 meta = with lib; {
124134 description = "Lightweight Identity and Authorization Management";
125135 homepage = "https://canaille.readthedocs.io/en/latest/index.html";
···42424343 # Please keep the version x.y.0.z and do not update to x.y.76.z because the
4444 # source of the latter disappears much faster.
4545- version = "8.137.0.425";
4646- revision = "384";
4545+ version = "8.138.0.203";
4646+ revision = "386";
47474848 rpath =
4949 lib.makeLibraryPath [
···103103 fetchurl {
104104 name = "skypeforlinux-${version}-${revision}.snap";
105105 url = "https://api.snapcraft.io/api/v1/snaps/download/QRDEfjn4WJYnm0FzDKwqqRZZI77awQEV_${revision}.snap";
106106- hash = "sha512-JU6CtIJWwqP4CHsLXA1imYfx21ZYSbgbJ9iUsDQC67TRbgliI8TTJHPDHjOYbhVELvu/fAzbENVxCmKDwsQX6g==";
106106+ hash = "sha512-JTzZdCCyqGeEugFb3w37Mes0S4DlJuqw/ptSMegrppjQwq0mqOTQCOmnaCPA8pgBfCsPoZ3dnaaKt19YbyJWSg==";
107107 }
108108 else
109109 throw "Skype for linux is not supported on ${stdenv.hostPlatform.system}";
···11{
22+ lib,
33+ stdenv,
24 runCommand,
35 R,
46 rstudio,
···5456 ''
5557 else
5658 ''
5757- ln -s ${rstudio}/share $out
5959+ ${lib.optionalString stdenv.hostPlatform.isLinux ''
6060+ # symlink files from unwrapped rstudio so that the desktop file and the icons
6161+ # are also installed when using the wrapped version
6262+ # TODO: figure out how to handle darwin .app structures
6363+ ln -s ${rstudio}/share $out
6464+ ''}
6565+5866 makeWrapper ${rstudio}/bin/rstudio $out/bin/rstudio \
5967 --set R_PROFILE_USER $out/$fixLibsR
6068 ''
+5-19
pkgs/development/rocq-modules/stdlib/default.nix
···1515 defaultVersion =
1616 with lib.versions;
1717 lib.switch rocq-core.version [
1818- { case = isEq "9.0"; out = "9.0+rc1"; }
1919- { case = isLt "8.21"; out = "8.20"; }
1818+ { case = isEq "9.0"; out = "9.0.0"; }
1919+ # the one below is artificial as stdlib was included in Coq before
2020+ { case = isLt "9.0"; out = "9.0.0"; }
2021 ] null;
2122 releaseRev = v: "V${v}";
22232323- release."9.0+rc1".sha256 = "sha256-raHwniQdpAX1HGlMofM8zVeXcmlUs+VJZZg5VF43k/M=";
2424- release."8.20".sha256 = "sha256-AcoS4edUYCfJME1wx8UbuSQRF3jmxhArcZyPIoXcfu0=";
2525-2626- useDune = true;
2727-2828- configurePhase = ''
2929- patchShebangs dev/with-rocq-wrap.sh
3030- '';
3131-3232- buildPhase = ''
3333- dev/with-rocq-wrap.sh dune build -p rocq-stdlib @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
3434- '';
2424+ release."9.0.0".sha256 = "sha256-2l7ak5Q/NbiNvUzIVXOniEneDXouBMNSSVFbD1Pf8cQ=";
35253636- installPhase = ''
3737- dev/with-rocq-wrap.sh dune install --root . rocq-stdlib --prefix=$out --libdir $OCAMLFIND_DESTDIR
3838- mkdir $out/lib/coq/
3939- mv $OCAMLFIND_DESTDIR/coq $out/lib/coq/${rocq-core.rocq-version}
4040- '';
2626+ mlPlugin = true;
41274228 meta = {
4329 description = "The Rocq Proof Assistant -- Standard Library";